summaryrefslogtreecommitdiff
path: root/tests/memories/run-test.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tests/memories/run-test.sh')
-rwxr-xr-xtests/memories/run-test.sh13
1 files changed, 12 insertions, 1 deletions
diff --git a/tests/memories/run-test.sh b/tests/memories/run-test.sh
index c3b19618..734a9668 100755
--- a/tests/memories/run-test.sh
+++ b/tests/memories/run-test.sh
@@ -1,7 +1,18 @@
#!/bin/bash
set -e
-bash ../tools/autotest.sh -G *.v
+
+OPTIND=1
+seed="" # default to no seed specified
+while getopts "S:" opt
+do
+ case "$opt" in
+ S) seed="-S $OPTARG" ;;
+ esac
+done
+shift "$((OPTIND-1))"
+
+bash ../tools/autotest.sh $seed -G *.v
for f in `egrep -l 'expect-(wr|rd)-ports' *.v`; do
echo -n "Testing expectations for $f .."