diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-08-09 14:49:51 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-08-09 14:49:51 +0200 |
| commit | 2faef8973830e553b1730c07d327c8d76d412e1c (patch) | |
| tree | 5ad43e1f7d86c4c257a1b111e342ccd2b70e0d87 /tests/fsm | |
| parent | 51aa5544fbda97c6b49bfba55696083ba47d4cef (diff) | |
| download | yosys-2faef8973830e553b1730c07d327c8d76d412e1c.tar.gz yosys-2faef8973830e553b1730c07d327c8d76d412e1c.tar.bz2 yosys-2faef8973830e553b1730c07d327c8d76d412e1c.zip | |
Some improvements in fsm_opt and fsm_map for FSM with unreachable states
Diffstat (limited to 'tests/fsm')
| -rwxr-xr-x | tests/fsm/run-test.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/fsm/run-test.sh b/tests/fsm/run-test.sh index f5299c092..3d0ff7573 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 |