import simuvex

######################################
# NoReturnUnconstrained
# Use in places you would put ReturnUnconstrained as a default action
# But the function shouldn't actually return
######################################

use_cases = {'exit_group', 'exit', 'abort', 'longjmp', 'pthread_exit', 'siglongjmp'}

class NoReturnUnconstrained(simuvex.SimProcedure): #pylint:disable=redefined-builtin
    NO_RET = True
    def run(self): #pylint:disable=unused-argument
        return

import simuvex

######################################
# NoReturnUnconstrained
# Use in places you would put ReturnUnconstrained as a default action
# But the function shouldn't actually return
######################################

class NoReturnUnconstrained(simuvex.SimProcedure): #pylint:disable=redefined-builtin
    use_cases = {'exit_group', 'exit', 'abort', 'longjmp', 'pthread_exit', 'siglongjmp',
                 '__longjmp_chk', '__siglongjmp_chk'}
    NO_RET = True
    def run(self, **kwargs): #pylint:disable=unused-argument
        return

Move use_cases into the class
Move use_cases into the class
