summaryrefslogtreecommitdiff
path: root/tests/fsm/run-test.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tests/fsm/run-test.sh')
-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