]> andersk Git - splint.git/blobdiff - test/simplebufferConstraintTests.expect
Simple modification to tests.
[splint.git] / test / simplebufferConstraintTests.expect
index 083964600f5afc32b051f41cf9d215cf987ea23f..6272fb833941180c947929345443785c8254c32d 100644 (file)
@@ -17,11 +17,11 @@ test3.c:9:3: Unresolved constraint:
 test7.c:2:6: Function t defined more than once
    m.c:11:1: Previous definition of t
 test7.c: (in function t)
-test7.c:6:3: Unresolved constraint:
-    Lclint is unable to resolve Requires: : MAXSET ((g @ test7.c:4:3 ) )  >=  (
-    4 )  needed to satisfy Requires: : MAXSET ((g @ test7.c:6:3 ) )  >=  ( 2 ) 
 test7.c:8:3: Unresolved constraint:
     Lclint is unable to resolve Requires: : MAXSET ((j @ test7.c:8:3 ) )  >=  (
     0 )  needed to satisfy Requires: : MAXSET ((j @ test7.c:8:3 ) )  >=  ( 0 ) 
+test7.c:6:3: Unresolved constraint:
+    Lclint is unable to resolve Requires: : MAXSET ((g @ test7.c:4:3 ) )  >=  (
+    4 )  needed to satisfy Requires: : MAXSET ((g @ test7.c:6:3 ) )  >=  ( 2 ) 
 
 Finished LCLint checking --- 7 code errors found
This page took 0.177911 seconds and 4 git commands to generate.