Strip quotes around fileinfo strings

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

diff --git a/backends/firrtl/test.sh b/backends/firrtl/test.sh
index fd4929bf19cb81a06a324706a50e7a5d75a59415..fe7e3a329127b850115c3d111d1c93ff3fe2e43e 100644 (file)
--- a/backends/firrtl/test.sh
+++ b/backends/firrtl/test.sh
@@ -1,21 +1,25 @@
 #!/bin/bash
 set -ex
 
-../../yosys -p 'prep; 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
        miter -equiv -flatten gold gate miter
        hierarchy -top miter
 
        sat -verify -prove trigger 0 -set-init-zero -seq 10 miter
-'
-
+"