diff options
Diffstat (limited to 'tests/splint/splint.rc')
-rw-r--r-- | tests/splint/splint.rc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/splint/splint.rc b/tests/splint/splint.rc index 421f567..e47d3c2 100644 --- a/tests/splint/splint.rc +++ b/tests/splint/splint.rc @@ -2,7 +2,6 @@ +partial +matchanyintegral +strictlib --isoreserved # to be fixed in 0.3 -nullassign -predboolint -predboolptr @@ -28,6 +27,7 @@ -kepttrans -branchstate -immediatetrans +-mustfreefresh # These tests give false positives, compiler typically has # better warnings for these. |