diff options
| -rw-r--r-- | test-suite/bugs/closed/1703.v (renamed from test-suite/bugs/closed/shouldfail/1703.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/closed/1898.v (renamed from test-suite/bugs/closed/shouldfail/1898.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/closed/1915.v (renamed from test-suite/bugs/closed/shouldfail/1915.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/closed/2006.v (renamed from test-suite/bugs/closed/shouldfail/2006.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/closed/2251.v (renamed from test-suite/bugs/closed/shouldfail/2251.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/closed/2406.v (renamed from test-suite/bugs/closed/shouldfail/2406.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/closed/2586.v (renamed from test-suite/bugs/closed/shouldfail/2586.v) | 0 | ||||
| -rw-r--r-- | test-suite/bugs/closed/2846.v (renamed from test-suite/bugs/closed/shouldfail/2846.v) | 0 |
8 files changed, 0 insertions, 0 deletions
diff --git a/test-suite/bugs/closed/shouldfail/1703.v b/test-suite/bugs/closed/1703.v index 114e3185b8..114e3185b8 100644 --- a/test-suite/bugs/closed/shouldfail/1703.v +++ b/test-suite/bugs/closed/1703.v diff --git a/test-suite/bugs/closed/shouldfail/1898.v b/test-suite/bugs/closed/1898.v index 70461286ce..70461286ce 100644 --- a/test-suite/bugs/closed/shouldfail/1898.v +++ b/test-suite/bugs/closed/1898.v diff --git a/test-suite/bugs/closed/shouldfail/1915.v b/test-suite/bugs/closed/1915.v index 7e62437d7b..7e62437d7b 100644 --- a/test-suite/bugs/closed/shouldfail/1915.v +++ b/test-suite/bugs/closed/1915.v diff --git a/test-suite/bugs/closed/shouldfail/2006.v b/test-suite/bugs/closed/2006.v index d353d0e2d6..d353d0e2d6 100644 --- a/test-suite/bugs/closed/shouldfail/2006.v +++ b/test-suite/bugs/closed/2006.v diff --git a/test-suite/bugs/closed/shouldfail/2251.v b/test-suite/bugs/closed/2251.v index d0fa3f2b33..d0fa3f2b33 100644 --- a/test-suite/bugs/closed/shouldfail/2251.v +++ b/test-suite/bugs/closed/2251.v diff --git a/test-suite/bugs/closed/shouldfail/2406.v b/test-suite/bugs/closed/2406.v index d46fbabbbc..d46fbabbbc 100644 --- a/test-suite/bugs/closed/shouldfail/2406.v +++ b/test-suite/bugs/closed/2406.v diff --git a/test-suite/bugs/closed/shouldfail/2586.v b/test-suite/bugs/closed/2586.v index 7e02e7f110..7e02e7f110 100644 --- a/test-suite/bugs/closed/shouldfail/2586.v +++ b/test-suite/bugs/closed/2586.v diff --git a/test-suite/bugs/closed/shouldfail/2846.v b/test-suite/bugs/closed/2846.v index 8d6d348a2e..8d6d348a2e 100644 --- a/test-suite/bugs/closed/shouldfail/2846.v +++ b/test-suite/bugs/closed/2846.v |