From 450bda69837b02c20d2fb391bbe7827d1becaac4 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 14 Jul 2020 16:08:58 +0100
Subject: Change name to Vericert

---
 test/test_all.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test')

diff --git a/test/test_all.sh b/test/test_all.sh
index 371ed0e..d43e2ac 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 -drtl -o $outbase.v $cfile
+    ./bin/vericert -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
-- 
cgit