summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-08-09 14:49:51 +0200
committerClifford Wolf <clifford@clifford.at>2014-08-09 14:49:51 +0200
commit2faef8973830e553b1730c07d327c8d76d412e1c (patch)
tree5ad43e1f7d86c4c257a1b111e342ccd2b70e0d87 /tests
parent51aa5544fbda97c6b49bfba55696083ba47d4cef (diff)
Some improvements in fsm_opt and fsm_map for FSM with unreachable states
Diffstat (limited to 'tests')
-rwxr-xr-xtests/fsm/run-test.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/fsm/run-test.sh b/tests/fsm/run-test.sh
index f5299c09..3d0ff757 100755
--- a/tests/fsm/run-test.sh
+++ b/tests/fsm/run-test.sh
@@ -17,7 +17,8 @@ python generate.py
idx=$( printf "%05d" $i )
echo "temp/uut_${idx}.log: temp/uut_${idx}.ys temp/uut_${idx}.v"
echo " @echo -n '[$i]'"
- echo " @../../yosys -ql temp/uut_${idx}.log temp/uut_${idx}.ys"
+ echo " @../../yosys -ql temp/uut_${idx}.out temp/uut_${idx}.ys"
+ echo " @mv temp/uut_${idx}.out temp/uut_${idx}.log"
echo " @grep -q 'SAT proof finished' temp/uut_${idx}.log && echo -n K || echo -n T"
all_targets="$all_targets temp/uut_${idx}.log"
done