<s> from config . experiment_config_lib import ControllerConfig <EOL> from sts . control_flow . fuzzer import Fuzzer <EOL> from sts . input_traces . input_logger import InputLogger <EOL> from sts . simulation_state import SimulationConfig <EOL> from sts . invariant_checker import InvariantChecker <EOL> start_cmd = ( '''<STR_LIT>''' <EOL> '''<STR_LIT>''' <EOL> '''<STR_LIT>''' <EOL> '''<STR_LIT>''' ) <EOL> controllers = [ ControllerConfig ( start_cmd , address = "<STR_LIT>" , cwd = "<STR_LIT>" , sync = "<STR_LIT>" ) ] <EOL> dataplane_trace = "<STR_LIT>" <EOL> simulation_config = SimulationConfig ( controller_configs = controllers , <EOL> dataplane_trace = dataplane_trace , <EOL> multiplex_sockets = True ) <EOL> control_flow = Fuzzer ( simulation_config , check_interval = <NUM_LIT:1> , halt_on_violation = True , <EOL> input_logger = InputLogger ( ) , <EOL> invariant_check_name = "<STR_LIT>" ) </s>
