diff options
Diffstat (limited to 'test-suite/bugs')
| -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 114e3185b..114e3185b 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 70461286c..70461286c 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 7e62437d7..7e62437d7 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 d353d0e2d..d353d0e2d 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 d0fa3f2b3..d0fa3f2b3 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 d46fbabbb..d46fbabbb 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 7e02e7f11..7e02e7f11 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 8d6d348a2..8d6d348a2 100644 --- a/test-suite/bugs/closed/shouldfail/2846.v +++ b/test-suite/bugs/closed/2846.v |