Module ImportFrom alias ImportFrom alias ImportFrom alias ImportFrom alias ImportFrom alias ImportFrom alias ImportFrom alias FunctionDef arguments args defaults body Assign NameStore Str Return Dict Str Str Str Call NameLoad Str keyword NameLoad Call NameLoad Str keyword NameLoad Call NameLoad Str keyword NameLoad decorator_list Assign NameStore Str Assign NameStore ListLoad Call NameLoad NameLoad keyword Str keyword Str keyword Num Assign NameStore NameLoad Assign NameStore Str Assign NameStore Str Assign NameStore Call NameLoad keyword NameLoad keyword NameLoad keyword NameLoad keyword NameLoad Assign NameStore Call NameLoad NameLoad keyword Call NameLoad keyword Num keyword Str
N/A config.experiment_config_lib ControllerConfig sts.control_flow.fuzzer Fuzzer sts.input_traces.input_logger InputLogger sts.invariant_checker InvariantChecker sts.simulation_state SimulationConfig sts.topology MeshTopology sts.util.convenience backtick get_additional_metadata N/A N/A N/A N/A N/A path nox_classic/build/src N/A N/A commit branch remote N/A backtick git rev-parse HEAD cwd path N/A backtick git rev-parse --abbrev-ref HEAD cwd path N/A backtick git remote show origin cwd path N/A N/A start_cmd ./nox_core -v -i ptcp:6633 sample_routing N/A controllers N/A N/A ControllerConfig start_cmd cwd nox_classic/build/src address 127.0.0.1 port 6633 N/A topology_class MeshTopology N/A topology_params num_switches=4 N/A dataplane_trace dataplane_traces/ping_pong_same_subnet_4_switches.trace N/A simulation_config N/A SimulationConfig controller_configs controllers topology_class topology_class topology_params topology_params dataplane_trace dataplane_trace N/A control_flow N/A Fuzzer simulation_config input_logger N/A InputLogger check_interval 80 invariant_check_name InvariantChecker.python_check_connectivity