Updated build to use automake files created by Tim Van Holder.

[splint.git] / test / sizeoftest.out

diff --git a/test/sizeoftest.out b/test/sizeoftest.out
index 65c1e94337eba3c20edc934c406d37c29ab8a36d..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 100644 (file)
--- a/test/sizeoftest.out
+++ b/test/sizeoftest.out
@@ -1,10 +0,0 @@
-
-constraintResolve.c:695 [sizeof.c:9:2]: >> Doing Range CHECK ( 2 )  and ( 2 ) 
-constraintResolve.c:695 [sizeof.c:9:2]: >> Doing Range CHECK ( 3 )  and ( 2 ) 
-sizeof.c: (in function main)
-sizeof.c:6:2: Unresolved constraint:
-    Lclint is unable to resolve Requires: :
-    ( 2 )   >=  ( 3 )  needed to satisfy Requires: : MAXSET ((x @ sizeof.c:6:2
-    ) )  >=  ( 3 ) 
-
-Finished LCLint checking --- 1 code error found