Merge pull request #2018 from boqwxp/qbfsat-timeout

[yosys.git] / backends / firrtl / test.sh

diff --git a/backends/firrtl/test.sh b/backends/firrtl/test.sh
index 0a7151afa6fe6c0cbb0fa1afaa610f40f9dc2f16..fe7e3a329127b850115c3d111d1c93ff3fe2e43e 100644 (file)
--- a/backends/firrtl/test.sh
+++ b/backends/firrtl/test.sh
@@ -1,16 +1,20 @@
 #!/bin/bash
 set -ex
 
-../../yosys -p 'prep -nordff; write_firrtl test.fir' test.v
+cd ../../
+make
+cd backends/firrtl
 
-firrtl -i test.fir -o test_out.v
+../../yosys -q -p 'prep -nordff; write_firrtl test.fir' $1
 
-../../yosys -p '
-       read_verilog test.v
-       rename test gold
+firrtl -i test.fir -o test_out.v -ll Info
+
+../../yosys -p "
+       read_verilog $1
+       rename Top gold
 
        read_verilog test_out.v
-       rename test gate
+       rename Top gate
 
        prep
        memory_map
@@ -18,5 +22,4 @@ firrtl -i test.fir -o test_out.v
        hierarchy -top miter
 
        sat -verify -prove trigger 0 -set-init-zero -seq 10 miter
-'
-
+"