{
  "program": "../p4debug/bug2-cast-in-checksum/static-mapping.p4",
  "switch": "simple_switch",
  "compiler": "p4c",
  "options": "--target bmv2 --arch v1model --std p4-16",
  "switch_cli": "simple_switch_CLI",
  "cli": true,
  "pcap_dump": true,
  "enable_log": true,
  "topo_module": {
    "file_path": "",
    "module_name": "p4utils.mininetlib.apptopo",
    "object_name": "AppTopoStrategies"
  },
  "controller_module": null,
  "topodb_module": {
    "file_path": "",
    "module_name": "p4utils.utils.topology",
    "object_name": "Topology"
  },
  "mininet_module": {
    "file_path": "",
    "module_name": "p4utils.mininetlib.p4net",
    "object_name": "P4Mininet"
  },
    "topology": {
        "assignment_strategy": "l2",
        "auto_arp_tables": false,
        "links": [["h1", "s1"], ["h2", "s1"], ["h3", "s1"], ["h4","s1"]],
        "hosts": {
            "h1": {
            },
            "h2": {
            }
            ,
            "h3": {
            }
            ,
            "h4": {
            }
        },
        "switches": {
            "s1": {
	            "cpu_port" : true
            }
        }
    },
	"exec_scripts": [
		{
            "reboot_run": true
        }
    ]
}