summaryrefslogtreecommitdiff
path: root/tests/or1200/run-fm-mods.sh
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-05-17 15:32:30 +0200
committerClifford Wolf <clifford@clifford.at>2013-05-17 15:32:30 +0200
commitfbadb54b9bf4f5c1920bc35381d40ef988ea1f76 (patch)
tree9344d72fe2050f103420599e19fa15d47b234278 /tests/or1200/run-fm-mods.sh
parent3ecc31423811c87e3511c62db4f86760e4a634b0 (diff)
Removed test cases that have been moved to yosys-test.
https://github.com/cliffordwolf/yosys-tests/
Diffstat (limited to 'tests/or1200/run-fm-mods.sh')
-rw-r--r--tests/or1200/run-fm-mods.sh24
1 files changed, 0 insertions, 24 deletions
diff --git a/tests/or1200/run-fm-mods.sh b/tests/or1200/run-fm-mods.sh
deleted file mode 100644
index 6b848773..00000000
--- a/tests/or1200/run-fm-mods.sh
+++ /dev/null
@@ -1,24 +0,0 @@
-#!/bin/bash
-if [ -n "$REMOTE_YOSYS_ROOT" ]; then
- rsync --exclude=".svn" --exclude="*.log" -rv -e "${REMOTE_YOSYS_SSH:-ssh} -C" "$REMOTE_YOSYS_ROOT"/tests/or1200/. .
-fi
-for mod in $( grep '^module or1200_' synth.v | awk -F '[ (]' '{ print $2; }'; )
-do
- {
- grep '^set ' run-fm.do
- grep '^read_verilog -container r ' run-fm.do
- echo "set_top r:/WORK/$mod"
- grep '^read_verilog -container i ' run-fm.do
- echo "set_top i:/WORK/$mod"
- echo "verify"
- echo "exit"
- } > run-fm-${mod}.do
- fm_shell -64 -file run-fm-${mod}.do 2>&1 | tee run-fm-${mod}.log
- rsync -v -e "${REMOTE_YOSYS_SSH:-ssh}" run-fm-${mod}.log "$REMOTE_YOSYS_ROOT"/tests/or1200/
-done
-
-echo; echo
-for x in run-fm-*.log; do
- echo -e "${x%/*}\\t$( egrep '^Verification (SUCCEEDED|FAILED)' $x; )"
-done | expand -t20
-echo; echo