diff options
| author | Xiretza <xiretza@xiretza.xyz> | 2020-03-21 20:48:32 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2020-03-22 08:13:31 +0100 |
| commit | 63bb08a0893209bd0b1f13e9ab5c3e585ed43514 (patch) | |
| tree | 854ae38d5202ee361ad2389e26b3fb84a9e6517c /testsuite/formal | |
| parent | d11471a86eebd0e041032bce74672744ec48ee61 (diff) | |
| download | ghdl-yosys-plugin-63bb08a0893209bd0b1f13e9ab5c3e585ed43514.tar.gz ghdl-yosys-plugin-63bb08a0893209bd0b1f13e9ab5c3e585ed43514.tar.bz2 ghdl-yosys-plugin-63bb08a0893209bd0b1f13e9ab5c3e585ed43514.zip | |
Move formal tests for gates into single subdirectory
Diffstat (limited to 'testsuite/formal')
| -rwxr-xr-x | testsuite/formal/abs/testsuite.sh | 9 | ||||
| -rw-r--r-- | testsuite/formal/gates/test_abs.sby (renamed from testsuite/formal/abs/test_abs.sby) | 0 | ||||
| -rw-r--r-- | testsuite/formal/gates/test_abs.vhd (renamed from testsuite/formal/abs/test_abs.vhd) | 0 | ||||
| -rw-r--r-- | testsuite/formal/gates/test_asr.sby (renamed from testsuite/formal/shifts/test_asr.sby) | 0 | ||||
| -rw-r--r-- | testsuite/formal/gates/test_asr.vhd (renamed from testsuite/formal/shifts/test_asr.vhd) | 0 | ||||
| -rw-r--r-- | testsuite/formal/gates/test_lsl.sby (renamed from testsuite/formal/shifts/test_lsl.sby) | 0 | ||||
| -rw-r--r-- | testsuite/formal/gates/test_lsl.vhd (renamed from testsuite/formal/shifts/test_lsl.vhd) | 0 | ||||
| -rw-r--r-- | testsuite/formal/gates/test_lsr.sby (renamed from testsuite/formal/shifts/test_lsr.sby) | 0 | ||||
| -rw-r--r-- | testsuite/formal/gates/test_lsr.vhd (renamed from testsuite/formal/shifts/test_lsr.vhd) | 0 | ||||
| -rwxr-xr-x | testsuite/formal/gates/testsuite.sh (renamed from testsuite/formal/shifts/testsuite.sh) | 2 |
10 files changed, 1 insertions, 10 deletions
diff --git a/testsuite/formal/abs/testsuite.sh b/testsuite/formal/abs/testsuite.sh deleted file mode 100755 index 10ec36d..0000000 --- a/testsuite/formal/abs/testsuite.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh - -topdir=../.. -. $topdir/testenv.sh - -formal "test_abs" - -clean -echo OK diff --git a/testsuite/formal/abs/test_abs.sby b/testsuite/formal/gates/test_abs.sby index 0e4bc7c..0e4bc7c 100644 --- a/testsuite/formal/abs/test_abs.sby +++ b/testsuite/formal/gates/test_abs.sby diff --git a/testsuite/formal/abs/test_abs.vhd b/testsuite/formal/gates/test_abs.vhd index 3e711b2..3e711b2 100644 --- a/testsuite/formal/abs/test_abs.vhd +++ b/testsuite/formal/gates/test_abs.vhd diff --git a/testsuite/formal/shifts/test_asr.sby b/testsuite/formal/gates/test_asr.sby index bfc39e9..bfc39e9 100644 --- a/testsuite/formal/shifts/test_asr.sby +++ b/testsuite/formal/gates/test_asr.sby diff --git a/testsuite/formal/shifts/test_asr.vhd b/testsuite/formal/gates/test_asr.vhd index dac8cd2..dac8cd2 100644 --- a/testsuite/formal/shifts/test_asr.vhd +++ b/testsuite/formal/gates/test_asr.vhd diff --git a/testsuite/formal/shifts/test_lsl.sby b/testsuite/formal/gates/test_lsl.sby index 280c16c..280c16c 100644 --- a/testsuite/formal/shifts/test_lsl.sby +++ b/testsuite/formal/gates/test_lsl.sby diff --git a/testsuite/formal/shifts/test_lsl.vhd b/testsuite/formal/gates/test_lsl.vhd index 737f03b..737f03b 100644 --- a/testsuite/formal/shifts/test_lsl.vhd +++ b/testsuite/formal/gates/test_lsl.vhd diff --git a/testsuite/formal/shifts/test_lsr.sby b/testsuite/formal/gates/test_lsr.sby index aacce69..aacce69 100644 --- a/testsuite/formal/shifts/test_lsr.sby +++ b/testsuite/formal/gates/test_lsr.sby diff --git a/testsuite/formal/shifts/test_lsr.vhd b/testsuite/formal/gates/test_lsr.vhd index 60ac66d..60ac66d 100644 --- a/testsuite/formal/shifts/test_lsr.vhd +++ b/testsuite/formal/gates/test_lsr.vhd diff --git a/testsuite/formal/shifts/testsuite.sh b/testsuite/formal/gates/testsuite.sh index 935e995..7986d8c 100755 --- a/testsuite/formal/shifts/testsuite.sh +++ b/testsuite/formal/gates/testsuite.sh @@ -3,7 +3,7 @@ topdir=../.. . $topdir/testenv.sh -for f in lsl lsr asr; do +for f in abs lsl lsr asr; do formal "test_${f}" done |