diff options
Diffstat (limited to 'testsuite/tests/pmcheck/should_compile/all.T')
| -rw-r--r-- | testsuite/tests/pmcheck/should_compile/all.T | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/pmcheck/should_compile/all.T b/testsuite/tests/pmcheck/should_compile/all.T index 9c38d636eb..e41d7f211c 100644 --- a/testsuite/tests/pmcheck/should_compile/all.T +++ b/testsuite/tests/pmcheck/should_compile/all.T @@ -115,6 +115,8 @@ test('CyclicSubst', [], compile, ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns']) test('CaseOfKnownCon', [], compile, ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns']) +test('TooManyDeltas', [], compile, + ['-fmax-pmcheck-models=0 -fwarn-incomplete-patterns -fwarn-overlapping-patterns']) # EmptyCase test('T10746', [], compile, |