diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-11-04 20:29:13 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-11-04 20:29:13 +0100 |
| commit | 6efbb986ae874f2e0abf79041d12bc8fa073e993 (patch) | |
| tree | ce0e34fd2a94b001745745e1d09b81e7afa542d0 /testsuite/formal/shifts | |
| parent | 3cefdbec000eb69d27070c6ecfa87e109219df95 (diff) | |
| download | ghdl-yosys-plugin-6efbb986ae874f2e0abf79041d12bc8fa073e993.tar.gz ghdl-yosys-plugin-6efbb986ae874f2e0abf79041d12bc8fa073e993.tar.bz2 ghdl-yosys-plugin-6efbb986ae874f2e0abf79041d12bc8fa073e993.zip | |
testsuite: it is now possible to run a single test.
Diffstat (limited to 'testsuite/formal/shifts')
| -rwxr-xr-x | testsuite/formal/shifts/testsuite.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/formal/shifts/testsuite.sh b/testsuite/formal/shifts/testsuite.sh index 38eb376..eb04217 100755 --- a/testsuite/formal/shifts/testsuite.sh +++ b/testsuite/formal/shifts/testsuite.sh @@ -1,5 +1,8 @@ #!/bin/sh +topdir=../.. +. $topdir/testenv.sh + for f in lsl lsr asr; do formal "test_${f}" done |