Welcome to STS’s documentation!

Contents:

• config Package
  • config Package
  • experiment_config_lib Module
  • fuzzer_params Module
  • invariant_checks Module
• sts Package
  • controller_manager Module
  • entities Module
  • event_dag Module
  • god_scheduler Module
  • invariant_checker Module
  • replay_event Module
  • simulation_state Module
  • snapshot Module
  • topology Module
  • traffic_generator Module
  • Subpackages
    • control_flow Package
      • control_flow Package
      • base Module
      • event_scheduler Module
      • fuzzer Module
      • interactive Module
      • mcs_finder Module
      • peeker Module
      • replayer Module
    • dataplane_traces Package
      • dataplane_traces Package
      • trace Module
      • trace_generator Module
    • experiments Package
      • experiments Package
      • lifecycle Module
      • setup Module
    • fingerprints Package
      • fingerprints Package
      • base Module
      • messages Module
    • gui Package
      • gui Package
      • entities Module
      • launcher Module
      • view Module
    • headerspace Package
      • Subpackages
    • input_traces Package
      • input_traces Package
      • input_logger Module
      • log_parser Module
    • syncproto Package
      • syncproto Package
      • base Module
      • pox_syncer Module
      • sts_syncer Module
    • util Package
      • util Package
      • console Module
      • convenience Module
      • deferred_io Module
      • io_master Module
      • precompute_cache Module
      • procutils Module
      • rpc_forker Module
      • tabular Module
      • Subpackages
• tests Package
  • tests Package
  • Subpackages
    • integration Package
      • integration Package
      • Subpackages
    • unit Package
      • unit Package
      • Subpackages

Indices and tables

• Index
• Module Index
• Search Page