angr.procedures.libstdcpp.std__terminate

class angr.procedures.libstdcpp.std__terminate.std__terminate

Bases: SimProcedure

NO_RET = True

ALT_NAMES = ('std::terminate()',)