Module Import alias Import alias Import alias Import alias ImportFrom alias alias ImportFrom alias alias ImportFrom alias Import alias Expr Call AttributeLoad AttributeLoad NameLoad attr attr BinOpAdd Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Str ClassDef bases NameLoad body FunctionDef arguments args NameParam NameParam defaults NameLoad body Assign AttributeStore NameLoad attr NameLoad decorator_list decorator_list ClassDef bases NameLoad body Expr Str FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Call AttributeLoad Call NameLoad NameLoad NameLoad attr Call NameLoad NameLoad keyword Str Assign AttributeStore NameLoad attr AttributeLoad NameLoad attr Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Expr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body For NameStore AttributeLoad NameLoad attr body If CompareNotIn NameLoad AttributeLoad AttributeLoad NameLoad attr attr body Return ListLoad Return ListLoad Str decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam defaults NameLoad NameLoad body Assign AttributeStore NameLoad attr NameLoad Return Call AttributeLoad NameLoad attr NameLoad decorator_list decorator_list ClassDef bases NameLoad NameLoad body FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad Assign AttributeStore NameLoad attr Call AttributeLoad NameLoad attr Str decorator_list decorator_list ClassDef bases NameLoad NameLoad body FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad Assign AttributeStore NameLoad attr Call AttributeLoad NameLoad attr Str decorator_list decorator_list ClassDef bases NameLoad body FunctionDef arguments args NameParam NameParam defaults NameLoad kwarg body Expr Call AttributeLoad Call NameLoad NameLoad NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam defaults body Return AttributeLoad NameLoad attr decorator_list NameLoad FunctionDef arguments args NameParam NameParam defaults body Return NameLoad decorator_list decorator_list Assign NameStore Str ClassDef bases AttributeLoad NameLoad attr body FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Assign NameStore ListComp Call NameLoad keyword TupleLoad Str NameLoad comprehension NameStore Call NameLoad Num Num Expr Call AttributeLoad NameLoad attr Call NameLoad ListLoad Str keyword NameLoad Assign NameStore Call NameLoad NameLoad Assign NameStore ListLoad SubscriptLoad NameLoad Index Num Assign NameStore Call NameLoad NameLoad NameLoad TryFinally body Expr Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr finalbody Expr Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr NameLoad AttributeLoad AttributeLoad NameLoad attr attr decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Assign NameStore ListComp Call NameLoad keyword TupleLoad Str NameLoad comprehension NameStore Call NameLoad Num Num Expr Call AttributeLoad NameLoad attr Call NameLoad ListLoad Str keyword NameLoad Assign NameStore Call NameLoad NameLoad Assign NameStore ListLoad SubscriptLoad NameLoad Index Num SubscriptLoad NameLoad Index Num Assign NameStore Call NameLoad NameLoad NameLoad TryFinally body Expr Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr finalbody Expr Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr NameLoad AttributeLoad AttributeLoad NameLoad attr attr decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Assign NameStore ListComp Call NameLoad keyword TupleLoad Str NameLoad comprehension NameStore Call NameLoad Num Num Expr Call AttributeLoad NameLoad attr Call NameLoad ListLoad Str keyword NameLoad Assign NameStore Call NameLoad NameLoad Assign NameStore SubscriptLoad NameLoad Slice Num Num Assign NameStore Call NameLoad NameLoad NameLoad TryFinally body Expr Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr finalbody Expr Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr NameLoad AttributeLoad AttributeLoad NameLoad attr attr decorator_list decorator_list If CompareEq NameLoad Str body Expr Call AttributeLoad NameLoad attr
N/A N/A unittest N/A sys N/A os N/A shutil sts.control_flow.mcs_finder MCSFinder EfficientMCSFinder sts.replay_event InputEvent InvariantViolation sts.event_dag EventDag N/A logging N/A N/A N/A N/A sys path append N/A N/A N/A N/A os path dirname __file__ /../../.. MockSimulationConfig N/A object N/A __init__ N/A N/A self ignore_interposition N/A False N/A N/A N/A self ignore_interposition ignore_interposition N/A N/A MockMCSFinderBase N/A MCSFinder N/A N/A  Overrides self.invariant_check and run_simulation_forward()  __init__ N/A N/A self event_dag mcs N/A N/A N/A N/A N/A N/A super MockMCSFinderBase self __init__ N/A MockSimulationConfig event_dag invariant_check_name InvariantChecker.check_liveness N/A N/A self invariant_check N/A self _invariant_check N/A N/A self new_dag None N/A N/A self mcs mcs N/A N/A self simulation None N/A N/A self transform_dag None N/A log N/A N/A self message N/A N/A N/A N/A N/A N/A self _log info message N/A _invariant_check N/A N/A self _ N/A N/A N/A e N/A self mcs N/A N/A N/A e N/A N/A self new_dag _events_set N/A N/A N/A N/A N/A violation N/A replay N/A N/A self new_dag hook ignore_runtime_stats N/A None False N/A N/A N/A self new_dag new_dag N/A N/A N/A self invariant_check new_dag N/A N/A MockMCSFinder N/A MockMCSFinderBase MCSFinder N/A __init__ N/A N/A self event_dag mcs N/A N/A N/A N/A N/A MockMCSFinderBase __init__ self event_dag mcs N/A N/A self _log N/A N/A logging getLogger mock_mcs_finder N/A N/A MockEfficientMCSFinder N/A MockMCSFinderBase EfficientMCSFinder N/A __init__ N/A N/A self event_dag mcs N/A N/A N/A N/A N/A MockMCSFinderBase __init__ self event_dag mcs N/A N/A self _log N/A N/A logging getLogger mock_efficient_mcs_finder N/A N/A MockInputEvent N/A InputEvent N/A __init__ N/A N/A self fingerprint N/A None kws N/A N/A N/A N/A N/A super MockInputEvent self __init__ kws N/A N/A self _fingerprint fingerprint N/A N/A self timed_out False N/A fingerprint N/A N/A self N/A N/A N/A N/A self _fingerprint N/A property proceed N/A N/A self simulation N/A N/A N/A True N/A N/A N/A mcs_results_path /tmp/mcs_results MCSFinderTest N/A N/A unittest TestCase N/A test_basic N/A N/A self N/A N/A N/A N/A N/A self basic MockMCSFinder N/A test_basic_efficient N/A N/A self N/A N/A N/A N/A N/A self basic MockEfficientMCSFinder N/A basic N/A N/A self mcs_finder_type N/A N/A N/A trace N/A N/A MockInputEvent fingerprint N/A class f N/A f N/A range 1 7 N/A N/A N/A trace append N/A InvariantViolation N/A violation persistent True N/A dag N/A EventDag trace N/A mcs N/A N/A trace N/A 0 N/A mcs_finder N/A mcs_finder_type dag mcs N/A N/A N/A N/A N/A os makedirs mcs_results_path N/A N/A N/A mcs_finder init_results mcs_results_path N/A N/A N/A mcs_finder simulate N/A N/A N/A N/A shutil rmtree mcs_results_path N/A N/A N/A self assertEqual mcs N/A N/A mcs_finder dag input_events N/A test_straddle N/A N/A self N/A N/A N/A N/A N/A self straddle MockMCSFinder N/A test_straddle_efficient N/A N/A self N/A N/A N/A N/A N/A self straddle MockEfficientMCSFinder N/A straddle N/A N/A self mcs_finder_type N/A N/A N/A trace N/A N/A MockInputEvent fingerprint N/A class f N/A f N/A range 1 7 N/A N/A N/A trace append N/A InvariantViolation N/A violation persistent True N/A dag N/A EventDag trace N/A mcs N/A N/A trace N/A 0 N/A trace N/A 5 N/A mcs_finder N/A mcs_finder_type dag mcs N/A N/A N/A N/A N/A os makedirs mcs_results_path N/A N/A N/A mcs_finder init_results mcs_results_path N/A N/A N/A mcs_finder simulate N/A N/A N/A N/A shutil rmtree mcs_results_path N/A N/A N/A self assertEqual mcs N/A N/A mcs_finder dag input_events N/A test_all N/A N/A self N/A N/A N/A N/A N/A self all MockMCSFinder N/A test_all_efficient N/A N/A self N/A N/A N/A N/A N/A self all MockEfficientMCSFinder N/A all N/A N/A self mcs_finder_type N/A N/A N/A trace N/A N/A MockInputEvent fingerprint N/A class f N/A f N/A range 1 7 N/A N/A N/A trace append N/A InvariantViolation N/A violation persistent True N/A dag N/A EventDag trace N/A mcs N/A trace N/A 0 6 N/A mcs_finder N/A mcs_finder_type dag mcs N/A N/A N/A N/A N/A os makedirs mcs_results_path N/A N/A N/A mcs_finder init_results mcs_results_path N/A N/A N/A mcs_finder simulate N/A N/A N/A N/A shutil rmtree mcs_results_path N/A N/A N/A self assertEqual mcs N/A N/A mcs_finder dag input_events N/A N/A N/A N/A __name__ __main__ N/A N/A N/A N/A unittest main