Fix running sva tests

diff --git a/tests/sva/runtest.sh b/tests/sva/runtest.sh
index 1b65ca9c968f4d91e3fd5eafbf979c408c0fe985..8ed7f8cbc79999af59dbcbbce50ea8f11cab8775 100644 (file)
--- a/tests/sva/runtest.sh
+++ b/tests/sva/runtest.sh
@@ -22,18 +22,17 @@ generate_sby() {
 
        if [ -f $prefix.sv ]; then
                if [ "$1" = "fail" ]; then
-                       echo "verific -sv ${prefix}_fail.sv"
+                       echo "read -sv ${prefix}_fail.sv"
                else
-                       echo "verific -sv $prefix.sv"
+                       echo "read -sv $prefix.sv"
                fi
        fi
 
        if [ -f $prefix.vhd ]; then
-               echo "verific -vhdl $prefix.vhd"
+               echo "read -vhdl $prefix.vhd"
        fi
 
        cat <<- EOT
-               verific -import -extnets -all top
                prep -top top
                chformal -early -assume