'''forwarding.capabilities_manager '''
'''sts.util.socket_mux.pox_monkeypatcher --snapshot_address=/tmp/snapshot_socket '''
'''openflow.of_01 --address=__address__ --port=__port__''',
label='c1',
address='127.0.0.1',
cwd='pox',
snapshot_address="/tmp/snapshot_socket")
],
topology_class=MeshTopology,
topology_params="num_switches=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=True,
kill_controllers_on_exit=True)
peeker = SnapshotPeeker(simulation_config,
default_dp_permit=True,
pass_through_whitelisted_messages=True)
control_flow = EfficientMCSFinder(
simulation_config,
"experiments/trigger_priority_mismatch_small/events.trace",
wait_on_deterministic_values=False,
allow_unexpected_messages=True,
expected_message_round_window=9999,
default_dp_permit=True,
pass_through_whitelisted_messages=True,
delay_flow_mods=False,
invariant_check_name='check_for_flow_entry',
bug_signature="",
transform_dag=peeker.peek)
restart_cmd=
'ssh onosdev1 "cd ONOS; ./start-onos.sh start"; echo "restarted"; sleep 20'
),
ControllerConfig(
start_cmd='echo "DUMMY COMMAND"; sleep 1',
label='c2',
address='192.168.56.12',
cwd='/mnt/ahassany/vagrant_onosdev',
controller_type='onos',
kill_cmd=
' ssh onosdev2 "cd ONOS; ./start-onos.sh stop"; echo "killed"; sleep 5',
restart_cmd=
'ssh onosdev2 "cd ONOS; ./start-onos.sh start"; echo "restarted"; sleep 20'
)
],
topology_class=MeshTopology,
topology_params="num_switches=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
kill_controllers_on_exit=False)
control_flow = EfficientMCSFinder(
simulation_config,
"experiments/db_lock_2014_01_31_10_46_33/events.trace",
wait_on_deterministic_values=False,
default_dp_permit=False,
pass_through_whitelisted_messages=False,
delay_flow_mods=False,
invariant_check_name='InvariantChecker.check_liveness',
bug_signature="")
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd='./pyretic.py -m p0 -v high pyretic.modules.hub',
label='c1',
address='127.0.0.1',
cwd='../pyretic',
kill_cmd=
'ps aux | grep -e pox -e pyretic | grep -v simulator | cut -c 9-15 | xargs kill -9'
)
],
topology_class=MeshTopology,
topology_params="num_switches=3",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
kill_controllers_on_exit=True)
control_flow = EfficientMCSFinder(
simulation_config,
"experiments/fuzz_pyretic_mesh_flood_check_loop_with_linkfailure/events.trace",
wait_on_deterministic_values=False,
delay_flow_mods=True,
invariant_check_name='InvariantChecker.python_check_loops',
bug_signature="")
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
cmdline=
'./pox.py --verbose openflow.discovery forwarding.l2_multi openflow.of_01 --address=__address__ --port=__port__',
address='127.0.0.1',
port=6633,
cwd='betta')
],
topology_class=MeshTopology,
topology_params="num_switches=2",
patch_panel_class=BufferedPatchPanel,
dataplane_trace=
"exp/betta_run/dataplane.trace",
multiplex_sockets=False)
control_flow = EfficientMCSFinder(simulation_config,
"exp/betta_run/events.trace",
wait_on_deterministic_values=False)
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
simulation_config = SimulationConfig(controller_configs=[ControllerConfig(cmdline='./pox.py --verbose --no-cli openflow.of_01 --address=__address__ --port=__port__ sts.syncproto.pox_syncer samples.topo forwarding.l2_multi messenger.messenger samples.nommessenger', address='127.0.0.1', port=6633, cwd='pox', sync='tcp:localhost:18899')],
topology_class=MeshTopology,
topology_params="num_switches=4",
dataplane_trace="dataplane_traces/ping_pong_same_subnet_4_switches.trace")
control_flow = EfficientMCSFinder(simulation_config, "input_traces/eugene_epsilon.trace",
invariant_check=InvariantChecker.check_liveness,
mcs_trace_path="input_traces/eugene_epsilon_mcs_final.trace",
extra_log=open("mcs_log.out", "w"),
epsilon_seconds=0.25)
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'./pox.py --verbose --unthreaded-sh misc.ip_loadbalancer --ip=123.123.1.3 --servers=123.123.2.3,123.123.1.3 sts.util.socket_mux.pox_monkeypatcher openflow.discovery openflow.of_01 --address=__address__ --port=__port__',
label='c1',
address='127.0.0.1',
cwd='dart_pox')
],
topology_class=MeshTopology,
topology_params="num_switches=3",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=True,
kill_controllers_on_exit=True)
control_flow = EfficientMCSFinder(
simulation_config,
"experiments/load_balancer_fuzzer/events.trace",
wait_on_deterministic_values=False,
default_dp_permit=False,
pass_through_whitelisted_messages=False,
delay_flow_mods=False,
invariant_check_name='check_for_ofp_error',
bug_signature="")
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
simulation_config = SimulationConfig(controller_configs=[ControllerConfig(start_cmd=' onos stop; zk stop ; cassandra stop; echo "sleeping for 5sec"; sleep 5; /mnt/ahassany/vagrant_onosdev/scripts/conf_setup.sh 2 ; zk start ; cassandra start; echo "sleeping for 10sec"; sleep 10 ; onos start ; echo "sleeping for 40 secs"; sleep 40 ; onos stop; sleep 10; cassandra cleandb; onos start; sleep 40', label='c1', address='192.168.56.11', cwd='/mnt/ahassany/vagrant_onosdev', controller_type='onos', kill_cmd=' ssh onosdev1 "cd ONOS; ./start-onos.sh stop"; echo "killed"; sleep 5', restart_cmd='ssh onosdev1 "cd ONOS; ./start-onos.sh start"; echo "restarted"; sleep 20'), ControllerConfig(start_cmd='echo "DUMMY COMMAND"; sleep 1', label='c2', address='192.168.56.12', cwd='/mnt/ahassany/vagrant_onosdev', controller_type='onos', kill_cmd=' ssh onosdev2 "cd ONOS; ./start-onos.sh stop"; echo "killed"; sleep 5', restart_cmd='ssh onosdev2 "cd ONOS; ./start-onos.sh start"; echo "restarted"; sleep 20')],
topology_class=MeshTopology,
topology_params="num_switches=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
kill_controllers_on_exit=False)
control_flow = EfficientMCSFinder(simulation_config, "experiments/distributed_onos_2014_01_31_01_23_34/events.trace",
wait_on_deterministic_values=False,
default_dp_permit=True,
pass_through_whitelisted_messages=False,
max_replays_per_subsequence=5,
delay_flow_mods=False,
invariant_check_name='InvariantChecker.check_liveness',
bug_signature="")
from sts.topology import *
from sts.control_flow import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'./pox.py --verbose openflow.discovery forwarding.l2_multi forwarding.capabilities_manager sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=__address__ --port=__port__',
label='c1',
address='127.0.0.1',
cwd='pox')
],
topology_class=MeshTopology,
topology_params="num_switches=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=True,
kill_controllers_on_exit=True,
ignore_interposition=True)
control_flow = EfficientMCSFinder(
simulation_config,
"experiments/trigger_priority_mismatch_small/events.trace",
wait_on_deterministic_values=False,
default_dp_permit=True,
pass_through_whitelisted_messages=False,
delay_flow_mods=False,
invariant_check_name='check_for_flow_entry',
max_replays_per_subsequence=5,
bug_signature="")
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
cmdline=
'./pox.py --verbose --no-cli sts.syncproto.pox_syncer openflow.discovery openflow.spanning_tree forwarding.l2_multi sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=../sts_socket_pipe',
address='sts_socket_pipe',
cwd='pox',
sync='tcp:localhost:18900')
],
topology_class=FatTree,
topology_params="",
patch_panel_class=BufferedPatchPanel,
dataplane_trace=
"exp/fuzz_pox_fattree/dataplane.trace",
multiplex_sockets=True)
control_flow = EfficientMCSFinder(simulation_config,
"exp/fuzz_pox_fattree/events.trace",
wait_on_deterministic_values=False)
from sts.control_flow import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd='./pyretic.py -m p0 -v high pyretic.modules.hub',
label='c1',
address='127.0.0.1',
cwd='../pyretic',
kill_cmd=
'ps aux | grep -e pox -e pyretic | grep -v simulator | cut -c 9-15 | xargs kill -9'
)
],
topology_class=MeshTopology,
topology_params="num_switches=3",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
kill_controllers_on_exit=True)
control_flow = EfficientMCSFinder(
simulation_config,
"experiments/new_pyretic_loop/events.trace",
wait_on_deterministic_values=False,
default_dp_permit=True,
pass_through_whitelisted_messages=False,
delay_flow_mods=False,
max_replays_per_subsequence=2,
invariant_check_name='InvariantChecker.python_check_loops',
bug_signature="")
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'./pox.py --verbose openflow.discovery forwarding.l2_multi_broken_floyd sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=__address__ --port=7777',
label='c1',
address='127.0.0.1',
cwd='pox')
],
topology_class=MeshTopology,
topology_params="num_switches=3",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=True,
kill_controllers_on_exit=True)
control_flow = EfficientMCSFinder(
simulation_config,
"experiments/pox_broken_floyd/events.trace",
wait_on_deterministic_values=False,
delay_flow_mods=False,
invariant_check_name='InvariantChecker.check_loops',
bug_signature="")
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
from orig_config import check_stale_entries
simulation_config = SimulationConfig(
controller_configs=[
ControllerConfig(
cmdline=
'./pox.py --verbose --no-cli sts.syncproto.pox_syncer openflow.discovery openflow.spanning_tree forwarding.l2_multi sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=__address__ --port=__port__',
address='127.0.0.1',
port=6632,
cwd='pox',
sync='tcp:localhost:18901')
],
topology_class=MeshTopology,
topology_params="num_switches=4",
patch_panel_class=BufferedPatchPanel,
dataplane_trace="exp/fuzz_pox_4mesh_blackhole/dataplane.trace",
multiplex_sockets=True)
control_flow = EfficientMCSFinder(simulation_config,
"exp/fuzz_pox_4mesh_blackhole/events.trace",
invariant_check=check_stale_entries,
wait_on_deterministic_values=False)
'''sts.util.socket_mux.pox_monkeypatcher --snapshot_address=/tmp/snapshot_socket '''
'''openflow.of_01 --address=__address__ --port=7777''',
label='c1',
address='127.0.0.1',
cwd='pox',
port=7777,
snapshot_address="/tmp/snapshot_socket")
],
topology_class=MeshTopology,
topology_params="num_switches=3",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=True,
kill_controllers_on_exit=True)
peeker = SnapshotPeeker(simulation_config,
default_dp_permit=True,
pass_through_whitelisted_messages=True)
control_flow = EfficientMCSFinder(
simulation_config,
"experiments/pox_broken_floyd/events.trace",
wait_on_deterministic_values=False,
allow_unexpected_messages=True,
expected_message_round_window=9999,
default_dp_permit=True,
pass_through_whitelisted_messages=True,
delay_flow_mods=False,
invariant_check_name='InvariantChecker.check_loops',
bug_signature="",
transform_dag=peeker.peek)
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(start_cmd='./nox_core -v -i ptcp:6635 routing',
address='127.0.0.1',
port=6635,
cwd='nox_classic/build/src')
],
topology_class=MeshTopology,
topology_params="num_switches=4",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False)
control_flow = EfficientMCSFinder(
simulation_config,
"experiments/nox_mesh_4_loop/events.trace",
wait_on_deterministic_values=False,
no_violation_verification_runs=3,
invariant_check_name='check_for_loops_or_connectivity')
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
cmdline=
'./pox.py --verbose openflow.discovery openflow.spanning_tree forwarding.l2_multi openflow.of_01 --address=__address__ --port=__port__',
address='127.0.0.1',
port=6633,
cwd='betta')
],
topology_class=MeshTopology,
topology_params="num_switches=4",
patch_panel_class=BufferedPatchPanel,
dataplane_trace=
"exp/loop_4_switches_betta/dataplane.trace",
multiplex_sockets=False)
control_flow = EfficientMCSFinder(simulation_config,
"exp/loop_4_switches_betta/events.trace",
wait_on_deterministic_values=False)
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'./pox.py --verbose openflow.discovery forwarding.l2_multi_synthetic_link_failure_crash sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=__address__ --port=__port__',
label='c1',
address='127.0.0.1',
cwd='pox')
],
topology_class=MeshTopology,
topology_params="num_switches=3",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=True,
kill_controllers_on_exit=True)
control_flow = EfficientMCSFinder(
simulation_config,
"experiments/snapshot_demo_synthetic_link_failure/events.trace",
wait_on_deterministic_values=False,
delay_flow_mods=True,
invariant_check_name='InvariantChecker.check_liveness',
bug_signature="")
controller_configs=[
ControllerConfig(cmdline='./nox_core -v -i ptcp:6635 routing',
address='127.0.0.1',
port=6635,
cwd='nox_classic/build/src')
],
topology_class=MeshTopology,
topology_params="num_switches=4",
patch_panel_class=BufferedPatchPanel,
dataplane_trace="exp/head_nox_4_mesh_loop/dataplane.trace",
multiplex_sockets=False)
def fast_die_invariant_check(simulation):
from sts.invariant_checker import InvariantChecker
result = InvariantChecker.check_loops(simulation)
if result:
return result
result = InvariantChecker.python_check_connectivity(simulation)
if not result:
print "Connectivity established - bailing out"
import sys
sys.exit(0)
return []
control_flow = EfficientMCSFinder(simulation_config,
"exp/head_nox_4_mesh_loop/events.trace",
wait_on_deterministic_values=False,
invariant_check=fast_die_invariant_check)
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
simulation_config = SimulationConfig(controller_configs=[ControllerConfig(cmdline='./pox.py --verbose --no-cli sts.syncproto.pox_syncer openflow.discovery openflow.spanning_tree forwarding.l2_multi sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=__address__ --port=__port__', address='127.0.0.1', port=6632, cwd='pox', sync='tcp:localhost:18901')],
topology_class=FatTree,
topology_params="num_pods=10",
patch_panel_class=BufferedPatchPanel,
dataplane_trace="experiments/pox_fattree_migration_2013_03_19_15_07_27/dataplane.trace",
multiplex_sockets=True)
control_flow = EfficientMCSFinder(simulation_config, "experiments/pox_fattree_migration_2013_03_19_15_07_27/events.trace",
wait_on_deterministic_values=False,
invariant_check_name='check_stale_entries')
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
simulation_config = SimulationConfig(controller_configs=[ControllerConfig(start_cmd='./pox.py --verbose openflow.discovery forwarding.topo_proactive openflow.of_01 --address=__address__ --port=__port__', label='c1', address='127.0.0.1', cwd='dart_pox')],
topology_class=FatTree,
topology_params="num_pods=3",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
kill_controllers_on_exit=True)
control_flow = EfficientMCSFinder(simulation_config, "experiments/fuzz_pox_proactive/events.trace",
wait_on_deterministic_values=False,
delay_flow_mods=False,
default_dp_permit=True,
invariant_check_name='check_for_invalid_ports',
bug_signature="")
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
from orig_config import my_funky_invariant_check
simulation_config = SimulationConfig(
controller_configs=[
ControllerConfig(
cmdline=
'./pox.py --verbose sts.syncproto.pox_syncer --blocking=False openflow.discovery forwarding.l2_multi sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=__address__ --port=__port__',
address='127.0.0.1',
port=6633,
cwd='pox',
sync='tcp:localhost:18899')
],
topology_class=MeshTopology,
topology_params="num_switches=2",
patch_panel_class=BufferedPatchPanel,
dataplane_trace="dataplane_traces/ping_pong_same_subnet.trace",
multiplex_sockets=True)
control_flow = EfficientMCSFinder(simulation_config,
"exp/debug_branch_loop/events.trace",
invariant_check=my_funky_invariant_check,
wait_on_deterministic_values=False)
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
simulation_config = SimulationConfig(controller_configs=[
ControllerConfig(
start_cmd=
'./pox.py --verbose sts.syncproto.pox_syncer --blocking=False openflow.discovery forwarding.l2_multi sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=__address__ --port=__port__',
address='127.0.0.1',
port=6633,
cwd='pox',
sync='tcp:localhost:18899')
],
topology_class=MeshTopology,
topology_params="num_switches=2",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=True)
control_flow = EfficientMCSFinder(
simulation_config,
"experiments/updated_debug_branch_loop/events.trace",
wait_on_deterministic_values=False,
invariant_check_name='check_for_loops_or_connectivity')
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
simulation_config = SimulationConfig(controller_configs=[ControllerConfig(start_cmd='./pyretic.py -m p0 pyretic.examples.firewall_for_sts_no_close', label='c1', address='127.0.0.1', cwd='../pyretic', kill_cmd='ps aux | grep -e pox -e pyretic | grep -v simulator | cut -c 9-15 | xargs kill -9')],
topology_class=MeshTopology,
topology_params="num_switches=3",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
kill_controllers_on_exit=True)
control_flow = EfficientMCSFinder(simulation_config, "experiments/fuzz_pyretic_mesh_proactive_firewall_no_close_check_loop/events.trace",
wait_on_deterministic_values=False,
delay_flow_mods=False,
invariant_check_name='InvariantChecker.python_check_loops')
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
simulation_config = SimulationConfig(controller_configs=[ControllerConfig(start_cmd='./pox.py --verbose openflow.of_01 --address=__address__ --port=__port__ openflow.discovery forwarding.l2_multi_syn_mem_corruption', label='c1', address='127.0.0.1', cwd='pox')],
topology_class=MeshTopology,
topology_params="num_switches=4",
patch_panel_class=BufferedPatchPanel,
multiplex_sockets=False,
kill_controllers_on_exit=True,
ignore_interposition=True)
control_flow = EfficientMCSFinder(simulation_config, "experiments/syn_mem_corruption_3switch_fuzzer/events.trace",
wait_on_deterministic_values=False,
default_dp_permit=False,
pass_through_whitelisted_messages=False,
delay_flow_mods=False,
invariant_check_name='InvariantChecker.check_liveness',
bug_signature="")
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import EfficientMCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
simulation_config = SimulationConfig(
controller_configs=[
ControllerConfig(
cmdline=
'./pox.py --verbose --random-seed=1 openflow.discovery forwarding.l2_multi openflow.of_01 --address=__address__ --port=__port__',
address='127.0.0.1',
port=6633,
cwd='betta')
],
topology_class=MeshTopology,
topology_params="num_switches=2",
patch_panel_class=BufferedPatchPanel,
dataplane_trace="dataplane_traces/ping_pong_same_subnet.trace",
multiplex_sockets=False)
control_flow = EfficientMCSFinder(
simulation_config,
"exp/fuzz_pox_mesh/events.trace",
invariant_check=InvariantChecker.check_liveness,
wait_on_deterministic_values=False)
