Merge progress on SuperP4

README.md

@@ -11,7 +11,7 @@ publications can be found.
 
 Building SuperC requires `bison` and `sat4j`.  For debian and ubuntu run
 
-    apt-get install bison libz3-java sat4j
+    apt-get install bison libz3-java sat4j graphviz
 
 The following environment variables are expected by SuperC/xtc.
 

fonda/p4_testsuite/callGraphTestCases/CGTest_action.p4

@@ -0,0 +1,9 @@
+action Forward_a(out bit<9> outputPort, bit<9> port) {
+    outputPort = port;
+}
+
+control ActionInvoker() {
+    apply {
+        Forward_a(5, 10);
+    }
+}

fonda/p4_testsuite/callGraphTestCases/CGTest_action_nested.p4

@@ -0,0 +1,12 @@
+action Forward_a(out bit<9> outputPort, bit<9> port) {
+    outputPort = port;
+}
+
+control ActionInvoker() {
+    action Forward_a(bit<9> port) {
+        port = 1;
+    }
+    apply {
+        Forward_a(5);
+    }
+}