<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 . invariant_checker import InvariantChecker <EOL> from sts . simulation_state import SimulationConfig <EOL> from sts . topology import MeshTopology <EOL> from sts . util . convenience import backtick <EOL> def get_additional_metadata ( ) : <EOL> path = "<STR_LIT>" <EOL> return { <EOL> '<STR_LIT>' : backtick ( "<STR_LIT>" , cwd = path ) , <EOL> '<STR_LIT>' : backtick ( "<STR_LIT>" , cwd = path ) , <EOL> '<STR_LIT>' : backtick ( "<STR_LIT>" , cwd = path ) , <EOL> } <EOL> start_cmd = "<STR_LIT>" <EOL> controllers = [ ControllerConfig ( start_cmd , cwd = "<STR_LIT>" , address = "<STR_LIT:127.0.0.1>" , port = <NUM_LIT> ) ] <EOL> topology_class = MeshTopology <EOL> topology_params = "<STR_LIT>" <EOL> dataplane_trace = "<STR_LIT>" <EOL> simulation_config = SimulationConfig ( controller_configs = controllers , <EOL> topology_class = topology_class , <EOL> topology_params = topology_params , <EOL> dataplane_trace = dataplane_trace ) <EOL> control_flow = Fuzzer ( simulation_config , input_logger = InputLogger ( ) , <EOL> check_interval = <NUM_LIT> , <EOL> invariant_check_name = "<STR_LIT>" ) </s>
