diff options
| author | xclerc | 2013-11-29 10:13:20 +0100 |
|---|---|---|
| committer | xclerc | 2013-11-29 10:13:20 +0100 |
| commit | 38ab183fa9c37e6e405db20ccc393465474a73c0 (patch) | |
| tree | 93f5e4ba4785c8a24ac3fbfa0c31700435257f69 | |
| parent | 26b42b8f300a6d11fc2e9880e349b17d03d46e31 (diff) | |
Testsuite: flatten the 'bugs/opened' directory.
| -rw-r--r-- | test-suite/Makefile | 5 | ||||
| -rw-r--r-- | test-suite/bugs/opened/1338.v-disabled (renamed from test-suite/bugs/opened/shouldnotfail/1338.v-disabled) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/opened/1501.v (renamed from test-suite/bugs/opened/shouldnotfail/1501.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/opened/1596.v (renamed from test-suite/bugs/opened/shouldnotfail/1596.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/opened/1671.v (renamed from test-suite/bugs/opened/shouldnotfail/1671.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/opened/1811.v (renamed from test-suite/bugs/opened/shouldnotfail/1811.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/opened/2310.v (renamed from test-suite/bugs/opened/shouldnotfail/2310.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/opened/743.v (renamed from test-suite/bugs/opened/shouldnotfail/743.v) | 0 |
8 files changed, 2 insertions, 3 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index 07ed8d3a61..83ea91a7df 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -64,8 +64,7 @@ log_intro = "==========> TESTING $(1) <==========" # Apart so that it can be easily skipped with overriding COMPLEXITY := $(if $(bogomips),complexity) -BUGS := bugs/opened/shouldnotfail bugs/opened/shouldnotsucceed \ - bugs/closed +BUGS := bugs/opened bugs/closed VSUBSYSTEMS := prerequisite success failure $(BUGS) output \ interactive micromega $(COMPLEXITY) modules stm @@ -152,7 +151,7 @@ summary.log: # All files are assumed to have <# of the bug>.v as a name # Opened bugs that should not fail -$(addsuffix .log,$(wildcard bugs/opened/shouldnotfail/*.v)): %.v.log: %.v +$(addsuffix .log,$(wildcard bugs/opened/*.v)): %.v.log: %.v @echo "TEST $<" $(HIDE){ \ echo $(call log_intro,$<); \ diff --git a/test-suite/bugs/opened/shouldnotfail/1338.v-disabled b/test-suite/bugs/opened/1338.v-disabled index ab0f98202d..ab0f98202d 100644 --- a/test-suite/bugs/opened/shouldnotfail/1338.v-disabled +++ b/test-suite/bugs/opened/1338.v-disabled diff --git a/test-suite/bugs/opened/shouldnotfail/1501.v b/test-suite/bugs/opened/1501.v index b36f21da1b..b36f21da1b 100644 --- a/test-suite/bugs/opened/shouldnotfail/1501.v +++ b/test-suite/bugs/opened/1501.v diff --git a/test-suite/bugs/opened/shouldnotfail/1596.v b/test-suite/bugs/opened/1596.v index cae0fa9341..cae0fa9341 100644 --- a/test-suite/bugs/opened/shouldnotfail/1596.v +++ b/test-suite/bugs/opened/1596.v diff --git a/test-suite/bugs/opened/shouldnotfail/1671.v b/test-suite/bugs/opened/1671.v index b4e653f687..b4e653f687 100644 --- a/test-suite/bugs/opened/shouldnotfail/1671.v +++ b/test-suite/bugs/opened/1671.v diff --git a/test-suite/bugs/opened/shouldnotfail/1811.v b/test-suite/bugs/opened/1811.v index 10c988fc02..10c988fc02 100644 --- a/test-suite/bugs/opened/shouldnotfail/1811.v +++ b/test-suite/bugs/opened/1811.v diff --git a/test-suite/bugs/opened/shouldnotfail/2310.v b/test-suite/bugs/opened/2310.v index 0be859eddf..0be859eddf 100644 --- a/test-suite/bugs/opened/shouldnotfail/2310.v +++ b/test-suite/bugs/opened/2310.v diff --git a/test-suite/bugs/opened/shouldnotfail/743.v b/test-suite/bugs/opened/743.v index 2825701410..2825701410 100644 --- a/test-suite/bugs/opened/shouldnotfail/743.v +++ b/test-suite/bugs/opened/743.v |