Add readmes, add .json extension

4 years ago · 126434a6b9
3 changed files with 11 additions and 0 deletions
--- a/p4app/bug2-cast-in-checksum.json
+++ b/p4app/bug2-cast-in-checksum.json
--- a/p4debug/bug1-bool/README
+++ b/p4debug/bug1-bool/README
@ -1,3 +1,9 @@
+How to reproduce:
+
+cd master-thesis/p4app
+sudo p4run --config bug1-bool.json
+
+
 Result:

 p4@ubuntu:~/master-thesis/p4app$ sudo p4run --config bug1-bool.json
--- a/p4debug/bug2-cast-in-checksum/README
+++ b/p4debug/bug2-cast-in-checksum/README
@ -1,3 +1,8 @@
+How to reproduce:
+
+cd master-thesis/p4app
+sudo p4run --config bug2-cast-in-checksum.json
+
 Result:

 ...