Add json definition for testing bug1

p4app/bug1-bool.json

@@ -0,0 +1,53 @@
+{
+  "program": "../p4src/bug1-bool.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
+        }
+    ]
+}