Module Import alias Import alias Import alias ImportFrom alias ImportFrom alias ImportFrom alias Import alias identifier Assign NameStore Str Assign NameStore Str Assign NameStore Str Assign NameStore Str Assign NameStore Call AttributeLoad NameLoad attr Str ClassDef bases NameLoad body Expr Str FunctionDef arguments args NameParam defaults body Assign AttributeStore NameLoad attr Call AttributeLoad NameLoad attr Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr ListLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr Str decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults NameLoad Str body If CompareIsNot NameLoad NameLoad body Assign AttributeStore NameLoad attr BinOpAdd BinOpAdd NameLoad Str NameLoad Assign AttributeStore NameLoad attr BinOpAdd NameLoad Str Assign AttributeStore NameLoad attr BinOpAdd NameLoad Str Assign AttributeStore NameLoad attr BinOpAdd NameLoad Str Assign AttributeStore NameLoad attr BinOpAdd NameLoad Str orelse Raise Call NameLoad Str Assign AttributeStore NameLoad attr Call NameLoad AttributeLoad NameLoad attr Str decorator_list FunctionDef arguments args NameParam defaults body Assign AttributeStore NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam defaults body Assign AttributeStore NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body If BoolOpAnd AttributeLoad NameLoad attr Call NameLoad NameLoad Str body Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr AttributeLoad NameLoad attr Assign NameStore Call AttributeLoad NameLoad attr Expr Call AttributeLoad NameLoad attr BinOpMod Str NameLoad Expr Call AttributeLoad NameLoad attr BinOpAdd NameLoad Str decorator_list FunctionDef arguments args NameParam NameParam defaults body Expr Str If UnaryOpNot AttributeLoad NameLoad attr body Raise Call NameLoad Str If UnaryOpNot AttributeLoad AttributeLoad NameLoad attr attr body Expr Call AttributeLoad NameLoad attr NameLoad AttributeLoad NameLoad attr orelse Expr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Expr Str With Call NameLoad BinOpAdd AttributeLoad NameLoad attr Str Str NameStore body For NameStore BinOpAdd NameLoad AttributeLoad NameLoad attr body Expr Call AttributeLoad NameLoad attr NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam defaults NameLoad body Expr Call AttributeLoad NameLoad attr Call NameLoad Num keyword AttributeLoad NameLoad attr Expr Call AttributeLoad AttributeLoad NameLoad attr attr Assign NameStore ListLoad TupleLoad AttributeLoad NameLoad attr NameLoad TupleLoad AttributeLoad NameLoad attr NameLoad TupleLoad AttributeLoad NameLoad attr NameLoad If UnaryOpNot NameLoad body Expr Call AttributeLoad NameLoad attr TupleLoad AttributeLoad NameLoad attr NameLoad Assign NameStore NameLoad If Call NameLoad AttributeLoad NameLoad attr Str body Assign NameStore AttributeLoad AttributeLoad NameLoad attr attr Assign NameStore NameLoad If Call NameLoad NameLoad Str body Assign NameStore AttributeLoad NameLoad attr Assign NameStore Str If Call NameLoad NameLoad Str body Assign NameStore AttributeLoad NameLoad attr For TupleStore NameStore NameStore NameLoad body With Call NameLoad NameLoad Str NameStore body Assign NameStore BinOpMod NameLoad TupleLoad Call NameLoad NameLoad AttributeLoad NameLoad attr Call NameLoad NameLoad Call NameLoad NameLoad BinOpMod Str Call NameLoad AttributeLoad NameLoad attr BinOpMod Str Call NameLoad NameLoad Expr Call AttributeLoad NameLoad attr NameLoad decorator_list decorator_list
N/A N/A os N/A time N/A logging sts.replay_event WaitTime sts.syncproto.base SyncTime sts.util.convenience timestamp_string N/A sts.dataplane_traces.trace_generator tg N/A replay_config_template 
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.replayer import Replayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger

simulation_config = %s

control_flow = Replayer(simulation_config, "%s",
                        input_logger=InputLogger(),
                        wait_on_deterministic_values=%s,
                        allow_unexpected_messages=False,
                        delay_flow_mods=%s,
                        default_dp_permit=False,
                        pass_through_whitelisted_messages=False,
                        invariant_check_name=%s,
                        bug_signature=%s)
 N/A interactive_replay_config_template 
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.interactive_replayer import InteractiveReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger

simulation_config = %s

control_flow = InteractiveReplayer(simulation_config, "%s")
# wait_on_deterministic_values=%s
# delay_flow_mods=%s
# Invariant check: %s
# Bug signature: %s
 N/A openflow_replay_config_template 
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.openflow_replayer import OpenFlowReplayer
from sts.simulation_state import SimulationConfig
from sts.input_traces.input_logger import InputLogger

simulation_config = %s

control_flow = OpenFlowReplayer(simulation_config, "%s")
# wait_on_deterministic_values=%s
# delay_flow_mods=%s
# Invariant check: %s
# Bug signature: %s
 N/A mcs_config_template 
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow.mcs_finder import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig

simulation_config = %s

control_flow = EfficientMCSFinder(simulation_config, "%s",
                                  wait_on_deterministic_values=%s,
                                  default_dp_permit=False,
                                  pass_through_whitelisted_messages=False,
                                  delay_flow_mods=%s,
                                  invariant_check_name=%s,
                                  bug_signature=%s)
 N/A log N/A N/A logging getLogger input_logger InputLogger N/A object N/A N/A Log input events injected by a control_flow.Fuzzer __init__ N/A N/A self N/A N/A N/A N/A self last_time N/A N/A SyncTime now N/A N/A self _disallow_timeouts False N/A N/A self _events_after_close N/A N/A N/A self output None N/A N/A self output_path N/A open N/A N/A self results_dir output_filename N/A None events.trace N/A N/A N/A results_dir None N/A N/A N/A self output_path N/A N/A results_dir / output_filename N/A N/A self replay_cfg_path N/A results_dir /replay_config.py N/A N/A self mcs_cfg_path N/A results_dir /mcs_config.py N/A N/A self interactive_replay_cfg_path N/A results_dir /interactive_replay_config.py N/A N/A self openflow_replay_cfg_path N/A results_dir /openflow_replay_config.py N/A N/A N/A ValueError Default results_dir currently not supported N/A N/A self output N/A open N/A self output_path w N/A disallow_timeouts N/A N/A self N/A N/A N/A N/A self _disallow_timeouts True N/A allow_timeouts N/A N/A self N/A N/A N/A N/A self _disallow_timeouts False N/A _serialize_event N/A N/A self event output N/A N/A N/A N/A N/A self _disallow_timeouts N/A hasattr event disallow_timeouts N/A N/A N/A event timeout_disallowed True N/A N/A self last_time N/A event time N/A json_hash N/A N/A event to_json N/A N/A N/A log debug N/A logging event %r event N/A N/A N/A output write N/A json_hash N/A log_input_event N/A N/A self event N/A N/A N/A 
    Log the event as a json hash.
     N/A N/A N/A self output N/A N/A N/A Exception Not opened -- call InputLogger.open N/A N/A N/A N/A self output closed N/A N/A N/A N/A self _serialize_event event N/A self output N/A N/A N/A N/A N/A self _events_after_close append event N/A dump_buffered_events N/A N/A self events N/A N/A N/A  If there were un-acknowledge message receives or state changes at the
    end of the run, dump them to a separate input trace ".unacked"  N/A N/A open N/A N/A self output_path .unacked w output N/A N/A event N/A events N/A self _events_after_close N/A N/A N/A N/A self _serialize_event event output N/A close N/A N/A self control_flow simulation_cfg skip_mcs_cfg N/A False N/A N/A N/A N/A self log_input_event N/A WaitTime 1.0 time N/A self last_time N/A N/A N/A N/A self output close N/A path_templates N/A N/A N/A self replay_cfg_path replay_config_template N/A N/A self interactive_replay_cfg_path interactive_replay_config_template N/A N/A self openflow_replay_cfg_path openflow_replay_config_template N/A N/A skip_mcs_cfg N/A N/A N/A N/A path_templates append N/A N/A self mcs_cfg_path mcs_config_template N/A wait_on_deterministic_values False N/A N/A hasattr N/A control_flow sync_callback record_deterministic_values N/A N/A wait_on_deterministic_values N/A N/A control_flow sync_callback record_deterministic_values N/A delay_flow_mods False N/A N/A hasattr control_flow delay_flow_mods N/A N/A delay_flow_mods N/A control_flow delay_flow_mods N/A bug_signature N/A N/A hasattr control_flow bug_signature N/A N/A bug_signature N/A control_flow bug_signature N/A N/A path template path_templates N/A N/A N/A open path w cfg_out N/A N/A config_string N/A template N/A N/A str simulation_cfg N/A self output_path N/A str wait_on_deterministic_values N/A str delay_flow_mods N/A '%s' N/A str N/A control_flow invariant_check_name N/A "%s" N/A str bug_signature N/A N/A N/A cfg_out write config_string N/A N/A