diff options
| author | Vincent Laporte | 2018-10-08 13:43:35 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-10-09 11:33:12 +0000 |
| commit | 5e3244f3ca1d4382d259c43ca0f557001267fd9c (patch) | |
| tree | a17c43a8b6ba509e1d3c1420ebcbedcf49211e31 | |
| parent | 59de2827b63b5bc475452bef385a2149a10a631c (diff) | |
[test-suite] ensure file names are valid module names
| -rw-r--r-- | test-suite/bugs/closed/bug_8553.v (renamed from test-suite/bugs/closed/8553.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/closed/bug_8672.v (renamed from test-suite/bugs/closed/8672.v) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/test-suite/bugs/closed/8553.v b/test-suite/bugs/closed/bug_8553.v index 4a1afabe89..4a1afabe89 100644 --- a/test-suite/bugs/closed/8553.v +++ b/test-suite/bugs/closed/bug_8553.v diff --git a/test-suite/bugs/closed/8672.v b/test-suite/bugs/closed/bug_8672.v index 66cd6dfa8c..66cd6dfa8c 100644 --- a/test-suite/bugs/closed/8672.v +++ b/test-suite/bugs/closed/bug_8672.v |