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=8888,
cwd='pox',
sync='tcp:localhost:18899')
]
topology_class = MeshTopology
topology_params = "num_switches=2"
dataplane_trace = "dataplane_traces/ping_pong_same_subnet.trace"
simulation_config = SimulationConfig(controller_configs=controllers,
topology_class=topology_class,
topology_params=topology_params,
switch_init_sleep_seconds=2.0,
dataplane_trace=dataplane_trace)
peeker = Peeker(simulation_config)
control_flow = MCSFinder(
simulation_config,
"input_traces/pox_list_violation.trace",
#create_event_scheduler = lambda simulation: DumbEventScheduler(simulation),
#delay_input_events=True,
epsilon_seconds=0.5,
invariant_check=InvariantChecker.check_liveness,
mcs_trace_path="input_traces/pox_list_mcs_final.trace",
transform_dag=peeker.peek,
extra_log=open("mcs_log.txt", "w", 0),
dump_runtime_stats=True)
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import MCSFinder
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=8888,
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",
switch_init_sleep_seconds=2.0)
control_flow = MCSFinder(simulation_config,
"input_traces/pox_attr_error.trace",
invariant_check=InvariantChecker.check_liveness,
mcs_trace_path="input_traces/pox_attr_error.trace")
from experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import MCSFinder
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=8888,
cwd='pox',
sync='tcp:localhost:18899')
],
topology_class=FatTree,
topology_params="",
patch_panel_class=BufferedPatchPanel,
dataplane_trace=
"dataplane_traces/ping_pong_fat_tree.trace",
switch_init_sleep_seconds=False)
control_flow = MCSFinder(
simulation_config,
"input_traces/2012_12_11_20_01_02.trace",
invariant_check=InvariantChecker.check_liveness,
mcs_trace_path="input_traces/2012_12_11_20_01_02_mcs_final.trace")
""" pox l2_multi loop. old mcs finder algo, powersets ignored, 4 verification runs """
from config.experiment_config_lib import ControllerConfig
from sts.topology import *
from sts.control_flow import MCSFinder
from sts.invariant_checker import InvariantChecker
from sts.simulation_state import SimulationConfig
from config.fuzz_pox_mesh import my_funky_invariant_check
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 = MCSFinder(simulation_config, "input_traces/2013_01_21_17_41_55.trace",
invariant_check=my_funky_invariant_check,
wait_on_deterministic_values=False,
no_violation_verification_runs=4,
ignore_powersets=True)