diff options
Diffstat (limited to 'testsuite/tests/unsatisfiable/all.T')
| -rw-r--r-- | testsuite/tests/unsatisfiable/all.T | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/testsuite/tests/unsatisfiable/all.T b/testsuite/tests/unsatisfiable/all.T new file mode 100644 index 0000000000..2358c7eabc --- /dev/null +++ b/testsuite/tests/unsatisfiable/all.T @@ -0,0 +1,19 @@ + +test('Unsatisfiable1', normal, compile, ['']) +test('Unsatisfiable2', normal, compile, ['']) +test('UnsatisfiableFail1', normal, compile_fail, ['']) +test('UnsatisfiableFail2', normal, compile_fail, ['']) +test('UnsatisfiableFail3', normal, compile_fail, ['']) +test('UnsatisfiableFail4', normal, compile_fail, ['']) + +test('UnsatClassMethods', normal, compile, ['-Werror=missing-methods']) +test('UnsatDefault', normal, compile_fail, ['']) +test('UnsatDefer', exit_code(1), compile_and_run, ['-fdefer-type-errors']) +test('UnsatFunDeps', normal, compile, ['']) +test('UnsatInstance', normal, compile_fail, ['']) +test('UnsatPMWarnings', normal, compile, ['-Woverlapping-patterns -Wincomplete-patterns']) + +test('T11503_Unsat', normal, compile, ['-Woverlapping-patterns -Wincomplete-patterns']) +test('T14141_Unsat', normal, compile, ['-Woverlapping-patterns -Wincomplete-patterns']) +test('T14339_Unsat', normal, compile_fail, ['']) +test('T15232_Unsat', normal, compile, ['-Wredundant-constraints']) |