aboutsummaryrefslogtreecommitdiffstats
path: root/tests/various
diff options
context:
space:
mode:
authorN. Engelhardt <nak@symbioticeda.com>2019-12-16 13:09:31 +0100
committerN. Engelhardt <nak@symbioticeda.com>2019-12-16 14:00:21 +0100
commitabcd82dacadc8b5af6b2b7f6d7cbdb635d276440 (patch)
tree14346b03bc32bba6efc410994d7b2e0911c8db34 /tests/various
parentce3615b3670b942ae281db425b290023b1395b69 (diff)
downloadyosys-abcd82dacadc8b5af6b2b7f6d7cbdb635d276440.tar.gz
yosys-abcd82dacadc8b5af6b2b7f6d7cbdb635d276440.tar.bz2
yosys-abcd82dacadc8b5af6b2b7f6d7cbdb635d276440.zip
add assert option to scratchpad command
Diffstat (limited to 'tests/various')
-rwxr-xr-xtests/various/scratchpad.sh14
-rw-r--r--tests/various/scratchpad.ys5
2 files changed, 5 insertions, 14 deletions
diff --git a/tests/various/scratchpad.sh b/tests/various/scratchpad.sh
deleted file mode 100755
index 4e92473f8..000000000
--- a/tests/various/scratchpad.sh
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/bin/bash
-
-trap 'echo "ERROR in scratchpad.sh" >&2; exit 1' ERR
-
-../../yosys -qp "scratchpad -set foo \"bar baz\"; \
-scratchpad -copy foo oof; scratchpad -unset foo; \
-tee -o scratchpad1.log scratchpad -get oof; \
-tee -o scratchpad2.log scratchpad -get foo"
-
-test "$(cat scratchpad1.log)" = "bar baz"
-test "$(cat scratchpad2.log)" = "\"foo\" not set"
-
-rm scratchpad1.log
-rm scratchpad2.log
diff --git a/tests/various/scratchpad.ys b/tests/various/scratchpad.ys
new file mode 100644
index 000000000..dc94081ea
--- /dev/null
+++ b/tests/various/scratchpad.ys
@@ -0,0 +1,5 @@
+scratchpad -set foo "bar baz"
+scratchpad -copy foo oof
+scratchpad -unset foo
+scratchpad -assert oof "bar baz"
+scratchpad -assert-unset foo