| | |
|
c | |
 |
config |
|
|
config.experiment_config_lib |
|
|
config.fuzzer_params |
|
|
config.invariant_checks |
|
| | |
|
s | |
 |
sts |
|
|
sts.control_flow |
|
|
sts.control_flow.base |
|
|
sts.control_flow.event_scheduler |
|
|
sts.control_flow.fuzzer |
|
|
sts.control_flow.interactive |
|
|
sts.control_flow.mcs_finder |
|
|
sts.control_flow.peeker |
|
|
sts.control_flow.replayer |
|
|
sts.controller_manager |
|
|
sts.dataplane_traces |
|
|
sts.dataplane_traces.trace |
|
|
sts.dataplane_traces.trace_generator |
|
|
sts.entities |
|
|
sts.event_dag |
|
|
sts.experiments |
|
|
sts.experiments.lifecycle |
|
|
sts.experiments.setup |
|
|
sts.fingerprints |
|
|
sts.fingerprints.base |
|
|
sts.fingerprints.messages |
|
|
sts.god_scheduler |
|
|
sts.gui |
|
|
sts.gui.entities |
|
|
sts.gui.launcher |
|
|
sts.gui.view |
|
|
sts.headerspace.config_parser.cisco_router_parser |
|
|
sts.headerspace.config_parser.helper |
|
|
sts.headerspace.config_parser.hp_switch_parser |
|
|
sts.headerspace.config_parser.openflow_parser |
|
|
sts.headerspace.config_parser.test_parser |
|
|
sts.headerspace.config_parser.test_parser_gen |
|
|
sts.headerspace.headerspace.applications |
|
|
sts.headerspace.headerspace.hs |
|
|
sts.headerspace.headerspace.slice |
|
|
sts.headerspace.headerspace.test_hs |
|
|
sts.headerspace.headerspace.test_ip_compress |
|
|
sts.headerspace.headerspace.test_ip_tf |
|
|
sts.headerspace.headerspace.test_tf |
|
|
sts.headerspace.headerspace.tf |
|
|
sts.headerspace.headerspace.wildcard_dictionary |
|
|
sts.headerspace.topology_loader.topology_loader |
|
|
sts.input_traces |
|
|
sts.input_traces.input_logger |
|
|
sts.input_traces.log_parser |
|
|
sts.invariant_checker |
|
|
sts.replay_event |
|
|
sts.simulation_state |
|
|
sts.snapshot |
|
|
sts.syncproto |
|
|
sts.syncproto.base |
|
|
sts.syncproto.pox_syncer |
|
|
sts.syncproto.sts_syncer |
|
|
sts.topology |
|
|
sts.traffic_generator |
|
|
sts.util |
|
|
sts.util.console |
|
|
sts.util.convenience |
|
|
sts.util.deferred_io |
|
|
sts.util.io_master |
|
|
sts.util.precompute_cache |
|
|
sts.util.procutils |
|
|
sts.util.rpc_forker |
|
|
sts.util.socket_mux |
|
|
sts.util.socket_mux.base |
|
|
sts.util.socket_mux.pox_monkeypatcher |
|
|
sts.util.socket_mux.server_socket_multiplexer |
|
|
sts.util.socket_mux.sts_socket_multiplexer |
|
|
sts.util.tabular |
|
| | |
|
t | |
 |
tests |
|
|
tests.integration |
|
|
tests.integration.sts |
|
|
tests.integration.sts.fuzzer_integration_test |
|
|
tests.integration.sts.mcs_finder_integration_test |
|
|
tests.integration.sts.replayer_integration_test |
|
|
tests.unit |
|
|
tests.unit.headerspace |
|
|
tests.unit.headerspace.applications_test |
|
|
tests.unit.headerspace.config_parser_test |
|
|
tests.unit.log_parsing |
|
|
tests.unit.log_parsing.superlog_parser_test |
|
|
tests.unit.sts |
|
|
tests.unit.sts.control_flow |
|
|
tests.unit.sts.control_flow.peeker_test |
|
|
tests.unit.sts.control_flow_test |
|
|
tests.unit.sts.deferred_io_worker_test |
|
|
tests.unit.sts.event_dag_test |
|
|
tests.unit.sts.mcs_finder_test |
|
|
tests.unit.sts.socket_multiplexer_test |
|
|
tests.unit.sts.topology_test |
|
|
tests.unit.sts.util |
|
|
tests.unit.sts.util.precompute_cache_test |
|