Try way that doesn't involve creating a new wire

[yosys.git] / backends / btor / test_cells.sh

diff --git a/backends/btor/test_cells.sh b/backends/btor/test_cells.sh
index c3572bc93f4702292f83c350d8e1bc1d64a6a59b..e0f1a05140045f61916d879156788b67d3760538 100644 (file)
--- a/backends/btor/test_cells.sh
+++ b/backends/btor/test_cells.sh
@@ -6,7 +6,7 @@ rm -rf test_cells.tmp
 mkdir -p test_cells.tmp
 cd test_cells.tmp
 
-../../../yosys -p 'test_cell -n 5 -w test all /$alu /$fa /$lcu /$lut /$sop /$macc /$mul /$div /$mod /$shl /$shr /$sshl /$sshr /$shift /$shiftx'
+../../../yosys -p 'test_cell -n 5 -w test all /$alu /$fa /$lcu /$lut /$sop /$macc /$mul /$div /$mod'
 
 for fn in test_*.il; do
        ../../../yosys -p "
@@ -19,7 +19,7 @@ for fn in test_*.il; do
                hierarchy -top main
                write_btor ${fn%.il}.btor
        "
-       boolectormc -v ${fn%.il}.btor > ${fn%.il}.out
+       boolectormc -kmax 1 --trace-gen --stop-first -v ${fn%.il}.btor > ${fn%.il}.out
        if grep " SATISFIABLE" ${fn%.il}.out; then
                echo "Check failed for ${fn%.il}."
                exit 1