config Package

config Package

experiment_config_lib Module

class config.experiment_config_lib.ControllerConfig(start_cmd='', kill_cmd='', address='127.0.0.1', port=None, additional_ports={}, cwd=None, sync=None, controller_type=None, label=None, config_file=None, config_template=None, try_new_ports=False)

Bases: object

__init__(start_cmd='', kill_cmd='', address='127.0.0.1', port=None, additional_ports={}, cwd=None, sync=None, controller_type=None, label=None, config_file=None, config_template=None, try_new_ports=False)

Store metadata for the controller.

• start_cmd: command that starts a controller or a set of controllers,

  followed by a list of command line tokens as arguments

• kill_cmd: command that kills a controller or a set of controllers,

  followed by a list of command line tokens as arguments

• address, port: controller socket info to listen for switches on

• controller_type: controller vendor, specified by the corresponding Controller

  class itself, or a string chosen from one of the keys in controller_type_map

cid

Return this controller’s id

expanded_kill_cmd

expanded_start_cmd

generate_config_file(target_dir)

server_info

information about the _real_ socket that the controller is listening on

fuzzer_params Module

invariant_checks Module

config.invariant_checks.bail_on_connectivity(simulation)

config.invariant_checks.check_for_loops_blackholes(simulation)

config.invariant_checks.check_for_loops_blackholes_or_connectivity(simulation)

config.invariant_checks.check_for_loops_or_connectivity(simulation)