diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-08-08 14:30:45 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-08-08 15:08:11 +0200 |
| commit | 51aa5544fbda97c6b49bfba55696083ba47d4cef (patch) | |
| tree | 8aa603acbca96bb6514cd2c240865d332e3f1947 /tests/fsm/run-test.sh | |
| parent | 58ac605470aed3b2a537b4f99ac17a199f8b5233 (diff) | |
| download | yosys-51aa5544fbda97c6b49bfba55696083ba47d4cef.tar.gz yosys-51aa5544fbda97c6b49bfba55696083ba47d4cef.tar.bz2 yosys-51aa5544fbda97c6b49bfba55696083ba47d4cef.zip | |
Improved FSM tests
Diffstat (limited to 'tests/fsm/run-test.sh')
| -rwxr-xr-x | tests/fsm/run-test.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/fsm/run-test.sh b/tests/fsm/run-test.sh index 697ed9350..f5299c092 100755 --- a/tests/fsm/run-test.sh +++ b/tests/fsm/run-test.sh @@ -18,6 +18,7 @@ python generate.py 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 " @grep -q 'SAT proof finished' temp/uut_${idx}.log && echo -n K || echo -n T" all_targets="$all_targets temp/uut_${idx}.log" done echo "$all_targets" |