Merge branch 'master' into arrays-proof

3 files changed, 15 insertions, 1 deletions

diff --git a/test/array.c b/test/array.c
new file mode 100644
index 0000000..e33d47b
--- /dev/null
+++ b/test/array.c
@@ -0,0 +1,4 @@
+int main() {
+        int x[5] = {1, 2, 3, 4, 5};
+        return x[2];
+}
diff --git a/test/function.c b/test/function.c
new file mode 100644
index 0000000..0ac0fcd
--- /dev/null
+++ b/test/function.c
@@ -0,0 +1,10 @@
+int f(int a, int b) {
+    return a * b;
+}
+
+int main() {
+    int x, y;
+    x = 5;
+    y = 18;
+    return f(x, y);
+}
diff --git a/test/test_all.sh b/test/test_all.sh
index 67b5c8f..371ed0e 100755
--- a/test/test_all.sh
+++ b/test/test_all.sh
@@ -30,7 +30,7 @@ for cfile in $test_dir/*.c; do
     gcc -o $outbase.gcc $cfile
     $outbase.gcc
     expected=$?
-    ./bin/coqup --hls -drtl -o $outbase.v $cfile
+    ./bin/coqup -drtl -o $outbase.v $cfile
     iverilog -o $outbase.iverilog $outbase.v
     actual=$($outbase.iverilog | sed -E -e 's/[^0-9]+([0-9]+)/\1/')
     if [[ $expected = $actual ]]; then