Removed test/*.lcs test/*.lh from CVS

diff --git a/test/abst_t.lcs b/test/abst_t.lcs
deleted file mode 100644 (file)
index a514585..0000000
--- a/test/abst_t.lcs
+++ /dev/null
@@ -1,131 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort abst1 immutable nil nil
-%LCLsort _abst1_Obj mutable abst1 nil
-%LCLsort abst2 immutable nil nil
-%LCLsort _abst2_Obj mutable abst2 nil
-%LCLsort abst3 immutable nil nil
-%LCLsort _abst3_Obj mutable abst3 nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop sizeof :abst1 -> int
-%LCLop sizeof :abst2 -> int
-%LCLop sizeof :abst3 -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLtype abst1 _abst1_Obj mutable
-%LCLtype abst2 _abst2_Obj mutable
-%LCLtype abst3 _abst3_Obj mutable
-%LCLSymbolTableEnd

diff --git a/test/abstptr.lcs b/test/abstptr.lcs
deleted file mode 100644 (file)
index 561da0e..0000000
--- a/test/abstptr.lcs
+++ /dev/null
@@ -1,123 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort abst immutable nil nil
-%LCLsort _abst_Obj mutable abst nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop sizeof :abst -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLtype abst _abst_Obj mutable
-%LCLSymbolTableEnd

diff --git a/test/alias.lcs b/test/alias.lcs
deleted file mode 100644 (file)
index 5228048..0000000
--- a/test/alias.lcs
+++ /dev/null
@@ -1,165 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort mut immutable nil nil
-%LCLsort _mut_Obj mutable mut nil
-%LCLsort _int_Obj obj int nil
-%LCLsort __int_Obj_Ptr ptr _int_Obj nil
-%LCLsort __int_Obj_Arr arr _int_Obj nil
-%LCLsort _int_Vec vec int __int_Obj_Arr
-%LCLsort ___int_Obj_Ptr_Obj obj __int_Obj_Ptr nil
-%LCLsort ____int_Obj_Ptr_Obj_Ptr ptr ___int_Obj_Ptr_Obj nil
-%LCLsort ____int_Obj_Ptr_Obj_Arr arr ___int_Obj_Ptr_Obj nil
-%LCLsort ___int_Obj_Ptr_Vec vec __int_Obj_Ptr ____int_Obj_Ptr_Obj_Arr
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
-%LCLop __ [] :____int_Obj_Ptr_Obj_Ptr -> ____int_Obj_Ptr_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ [__] :_int_Vec, int -> int
-%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
-%LCLop __ [__] :___int_Obj_Ptr_Vec, int -> __int_Obj_Ptr
-%LCLop __ [__] :____int_Obj_Ptr_Obj_Arr, int -> ___int_Obj_Ptr_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop NIL : -> __int_Obj_Ptr
-%LCLop NIL : -> ____int_Obj_Ptr_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ + __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ + __  :int, __int_Obj_Ptr -> __int_Obj_Ptr
-%LCLop __ + __  :____int_Obj_Ptr_Obj_Ptr, int -> ____int_Obj_Ptr_Obj_Ptr
-%LCLop __ + __  :int, ____int_Obj_Ptr_Obj_Ptr -> ____int_Obj_Ptr_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop __ - __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ - __  :__int_Obj_Ptr, __int_Obj_Ptr -> int
-%LCLop __ - __  :____int_Obj_Ptr_Obj_Ptr, int -> ____int_Obj_Ptr_Obj_Ptr
-%LCLop __ - __  :____int_Obj_Ptr_Obj_Ptr, ____int_Obj_Ptr_Obj_Ptr -> int
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop sizeof :mut -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop isSub :_int_Vec, int -> bool
-%LCLop isSub :__int_Obj_Arr, int -> bool
-%LCLop isSub :___int_Obj_Ptr_Vec, int -> bool
-%LCLop isSub :____int_Obj_Ptr_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLtype mut _mut_Obj mutable
-%LCLfcn mut_create :  -> _mut_Obj 
-%LCLfcnGlobals 
-%LCLfcn mut_mod : _mut_Obj -> void 
-%LCLfcnGlobals 
-%LCLvar glob _int_Obj
-%LCLvar globp ___int_Obj_Ptr_Obj
-%LCLfcn f : __int_Obj_Ptr, int, ____int_Obj_Ptr_Obj_Ptr -> int 
-%LCLfcnGlobals _int_Obj glob; ___int_Obj_Ptr_Obj globp; 
-%LCLfcn h : _mut_Obj, _mut_Obj -> int 
-%LCLfcnGlobals 
-%LCLSymbolTableEnd

diff --git a/test/alias2.lcs b/test/alias2.lcs
deleted file mode 100644 (file)
index 6d45b0b..0000000
--- a/test/alias2.lcs
+++ /dev/null
@@ -1,154 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort mut immutable nil nil
-%LCLsort _mut_Obj mutable mut nil
-%LCLsort _int_Obj obj int nil
-%LCLsort __int_Obj_Ptr ptr _int_Obj nil
-%LCLsort __int_Obj_Arr arr _int_Obj nil
-%LCLsort _int_Vec vec int __int_Obj_Arr
-%LCLsort ___int_Obj_Ptr_Obj obj __int_Obj_Ptr nil
-%LCLsort ____int_Obj_Ptr_Obj_Ptr ptr ___int_Obj_Ptr_Obj nil
-%LCLsort ____int_Obj_Ptr_Obj_Arr arr ___int_Obj_Ptr_Obj nil
-%LCLsort ___int_Obj_Ptr_Vec vec __int_Obj_Ptr ____int_Obj_Ptr_Obj_Arr
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
-%LCLop __ [] :____int_Obj_Ptr_Obj_Ptr -> ____int_Obj_Ptr_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ [__] :_int_Vec, int -> int
-%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
-%LCLop __ [__] :___int_Obj_Ptr_Vec, int -> __int_Obj_Ptr
-%LCLop __ [__] :____int_Obj_Ptr_Obj_Arr, int -> ___int_Obj_Ptr_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop NIL : -> __int_Obj_Ptr
-%LCLop NIL : -> ____int_Obj_Ptr_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ + __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ + __  :int, __int_Obj_Ptr -> __int_Obj_Ptr
-%LCLop __ + __  :____int_Obj_Ptr_Obj_Ptr, int -> ____int_Obj_Ptr_Obj_Ptr
-%LCLop __ + __  :int, ____int_Obj_Ptr_Obj_Ptr -> ____int_Obj_Ptr_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop __ - __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ - __  :__int_Obj_Ptr, __int_Obj_Ptr -> int
-%LCLop __ - __  :____int_Obj_Ptr_Obj_Ptr, int -> ____int_Obj_Ptr_Obj_Ptr
-%LCLop __ - __  :____int_Obj_Ptr_Obj_Ptr, ____int_Obj_Ptr_Obj_Ptr -> int
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop sizeof :mut -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop isSub :_int_Vec, int -> bool
-%LCLop isSub :__int_Obj_Arr, int -> bool
-%LCLop isSub :___int_Obj_Ptr_Vec, int -> bool
-%LCLop isSub :____int_Obj_Ptr_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLvar glob _int_Obj
-%LCLvar globp ___int_Obj_Ptr_Obj
-%LCLfcn f : __int_Obj_Ptr, int, ____int_Obj_Ptr_Obj_Ptr -> int 
-%LCLfcnGlobals _int_Obj glob; ___int_Obj_Ptr_Obj globp; 
-%LCLSymbolTableEnd

diff --git a/test/alias3.lcs b/test/alias3.lcs
deleted file mode 100644 (file)
index 049a491..0000000
--- a/test/alias3.lcs
+++ /dev/null
@@ -1,228 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort _s_st_Struct str s_st nil
-%LCLsort b strMem ___int_Obj_Ptr_Obj nil
-%LCLsort a strMem _int_Obj nil
-%LCLsort strEnd nil nil nil
-%LCLsort _int_Obj obj int nil
-%LCLsort __int_Obj_Ptr ptr _int_Obj nil
-%LCLsort __int_Obj_Arr arr _int_Obj nil
-%LCLsort _int_Vec vec int __int_Obj_Arr
-%LCLsort ___int_Obj_Ptr_Obj obj __int_Obj_Ptr nil
-%LCLsort _s_st_Struct_Tuple tup _s_st_Struct nil
-%LCLsort __s_st_Struct_Ptr ptr _s_st_Struct nil
-%LCLsort __s_st_Struct_Arr arr _s_st_Struct nil
-%LCLsort __s_st_Struct_Tuple_Vec vec _s_st_Struct_Tuple __s_st_Struct_Arr
-%LCLsort _st synonym _s_st_Struct nil
-%LCLsort _s_ut_Union union s_ut nil
-%LCLsort c unionMem _____int_Obj_Ptr_Obj_Ptr_Obj nil
-%LCLsort t unionMem ___s_st_Struct_Ptr_Obj nil
-%LCLsort s unionMem _s_st_Struct nil
-%LCLsort a unionMem _int_Obj nil
-%LCLsort unionEnd nil nil nil
-%LCLsort ___s_st_Struct_Ptr_Obj obj __s_st_Struct_Ptr nil
-%LCLsort ____int_Obj_Ptr_Obj_Ptr ptr ___int_Obj_Ptr_Obj nil
-%LCLsort ____int_Obj_Ptr_Obj_Arr arr ___int_Obj_Ptr_Obj nil
-%LCLsort ___int_Obj_Ptr_Vec vec __int_Obj_Ptr ____int_Obj_Ptr_Obj_Arr
-%LCLsort _____int_Obj_Ptr_Obj_Ptr_Obj obj ____int_Obj_Ptr_Obj_Ptr nil
-%LCLsort _s_ut_Union_UnionVal unionval _s_ut_Union nil
-%LCLsort __s_ut_Union_Ptr ptr _s_ut_Union nil
-%LCLsort __s_ut_Union_Arr arr _s_ut_Union nil
-%LCLsort __s_ut_Union_UnionVal_Vec vec _s_ut_Union_UnionVal __s_ut_Union_Arr
-%LCLsort _ut synonym _s_ut_Union nil
-%LCLsort ___s_ut_Union_Ptr_Obj obj __s_ut_Union_Ptr nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 6 : -> double
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLtag s_st struct
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLtag s_ut union
-%LCLop [__, __] :__int_Obj_Ptr, int -> _s_st_Struct_Tuple
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
-%LCLop __ [] :__s_st_Struct_Ptr -> __s_st_Struct_Arr
-%LCLop __ [] :____int_Obj_Ptr_Obj_Ptr -> ____int_Obj_Ptr_Obj_Arr
-%LCLop __ [] :__s_ut_Union_Ptr -> __s_ut_Union_Arr
-%LCLop __ \select a :_s_st_Struct_Tuple -> int
-%LCLop __ \select a :_s_st_Struct -> _int_Obj
-%LCLop __ \select a :_s_ut_Union_UnionVal -> int
-%LCLop __ \select a :_s_ut_Union -> _int_Obj
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ \select b :_s_st_Struct_Tuple -> __int_Obj_Ptr
-%LCLop __ \select b :_s_st_Struct -> ___int_Obj_Ptr_Obj
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ [__] :_int_Vec, int -> int
-%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
-%LCLop __ [__] :__s_st_Struct_Tuple_Vec, int -> _s_st_Struct_Tuple
-%LCLop __ [__] :__s_st_Struct_Arr, int -> _s_st_Struct
-%LCLop __ [__] :___int_Obj_Ptr_Vec, int -> __int_Obj_Ptr
-%LCLop __ [__] :____int_Obj_Ptr_Obj_Arr, int -> ___int_Obj_Ptr_Obj
-%LCLop __ [__] :__s_ut_Union_UnionVal_Vec, int -> _s_ut_Union_UnionVal
-%LCLop __ [__] :__s_ut_Union_Arr, int -> _s_ut_Union
-%LCLop __ \field_arrow a :__s_st_Struct_Ptr -> _int_Obj
-%LCLop __ \field_arrow a :__s_ut_Union_Ptr -> int
-%LCLop __ \field_arrow a :__s_ut_Union_Ptr -> _int_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \field_arrow b :__s_st_Struct_Ptr -> ___int_Obj_Ptr_Obj
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop __ \select s :_s_ut_Union_UnionVal -> _s_st_Struct_Tuple
-%LCLop __ \select s :_s_ut_Union -> _s_st_Struct
-%LCLop __ \select t :_s_ut_Union_UnionVal -> __s_st_Struct_Ptr
-%LCLop __ \select t :_s_ut_Union -> ___s_st_Struct_Ptr_Obj
-%LCLop __ \field_arrow s :__s_ut_Union_Ptr -> _s_st_Struct_Tuple
-%LCLop __ \field_arrow s :__s_ut_Union_Ptr -> _s_st_Struct
-%LCLop __ \select c :_s_ut_Union_UnionVal -> ____int_Obj_Ptr_Obj_Ptr
-%LCLop __ \select c :_s_ut_Union -> _____int_Obj_Ptr_Obj_Ptr_Obj
-%LCLop __ \field_arrow t :__s_ut_Union_Ptr -> __s_st_Struct_Ptr
-%LCLop __ \field_arrow t :__s_ut_Union_Ptr -> ___s_st_Struct_Ptr_Obj
-%LCLop __ \field_arrow c :__s_ut_Union_Ptr -> ____int_Obj_Ptr_Obj_Ptr
-%LCLop __ \field_arrow c :__s_ut_Union_Ptr -> _____int_Obj_Ptr_Obj_Ptr_Obj
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop NIL : -> __int_Obj_Ptr
-%LCLop NIL : -> __s_st_Struct_Ptr
-%LCLop NIL : -> ____int_Obj_Ptr_Obj_Ptr
-%LCLop NIL : -> __s_ut_Union_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ + __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ + __  :int, __int_Obj_Ptr -> __int_Obj_Ptr
-%LCLop __ + __  :__s_st_Struct_Ptr, int -> __s_st_Struct_Ptr
-%LCLop __ + __  :int, __s_st_Struct_Ptr -> __s_st_Struct_Ptr
-%LCLop __ + __  :____int_Obj_Ptr_Obj_Ptr, int -> ____int_Obj_Ptr_Obj_Ptr
-%LCLop __ + __  :int, ____int_Obj_Ptr_Obj_Ptr -> ____int_Obj_Ptr_Obj_Ptr
-%LCLop __ + __  :__s_ut_Union_Ptr, int -> __s_ut_Union_Ptr
-%LCLop __ + __  :int, __s_ut_Union_Ptr -> __s_ut_Union_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop __ - __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ - __  :__int_Obj_Ptr, __int_Obj_Ptr -> int
-%LCLop __ - __  :__s_st_Struct_Ptr, int -> __s_st_Struct_Ptr
-%LCLop __ - __  :__s_st_Struct_Ptr, __s_st_Struct_Ptr -> int
-%LCLop __ - __  :____int_Obj_Ptr_Obj_Ptr, int -> ____int_Obj_Ptr_Obj_Ptr
-%LCLop __ - __  :____int_Obj_Ptr_Obj_Ptr, ____int_Obj_Ptr_Obj_Ptr -> int
-%LCLop __ - __  :__s_ut_Union_Ptr, int -> __s_ut_Union_Ptr
-%LCLop __ - __  :__s_ut_Union_Ptr, __s_ut_Union_Ptr -> int
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop isSub :_int_Vec, int -> bool
-%LCLop isSub :__int_Obj_Arr, int -> bool
-%LCLop isSub :__s_st_Struct_Tuple_Vec, int -> bool
-%LCLop isSub :__s_st_Struct_Arr, int -> bool
-%LCLop isSub :___int_Obj_Ptr_Vec, int -> bool
-%LCLop isSub :____int_Obj_Ptr_Obj_Arr, int -> bool
-%LCLop isSub :__s_ut_Union_UnionVal_Vec, int -> bool
-%LCLop isSub :__s_ut_Union_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLtype st _st exposed
-%LCLtype ut _ut exposed
-%LCLvar gst _s_st_Struct
-%LCLvar gu ___s_ut_Union_Ptr_Obj
-%LCLfcn f : __int_Obj_Arr, _s_st_Struct_Tuple, __s_ut_Union_Ptr -> int 
-%LCLfcnGlobals _s_st_Struct gst; ___s_ut_Union_Ptr_Obj gu; 
-%LCLfcn model : __int_Obj_Arr -> void 
-%LCLfcnGlobals _s_st_Struct gst; ___s_ut_Union_Ptr_Obj gu; 
-%LCLfcn modst : _s_st_Struct_Tuple -> void 
-%LCLfcnGlobals 
-%LCLfcn modu : __s_ut_Union_Ptr -> void 
-%LCLfcnGlobals 
-%LCLSymbolTableEnd

diff --git a/test/alias3.lh b/test/alias3.lh
deleted file mode 100644 (file)
index 5c9ecf3..0000000
--- a/test/alias3.lh
+++ /dev/null
@@ -1,27 +0,0 @@
-/* Output from Splint 3.0.0.20 */
-# include "bool.h"
-
-
-# ifndef EXPOSED_TYPE_st
-typedef struct s_st {
-    int a;
-    int *b;
-    } st;
-# endif
-
-
-# ifndef EXPOSED_TYPE_ut
-typedef union s_ut {
-    int a;
-    st s;
-    st *t;
-    int **c;
-    } ut;
-# endif
-
-extern st  gst;
-extern ut  *gu;
-extern int f (int  /* ia */[], st  /* s1 */, ut * /* u1 */);
-extern void model (int  /* ia */[]);
-extern void modst (st  /* s1 */);
-extern void modu (ut * /* u */);

diff --git a/test/alias4.lcs b/test/alias4.lcs
deleted file mode 100644 (file)
index 98e47ad..0000000
--- a/test/alias4.lcs
+++ /dev/null
@@ -1,205 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort mut immutable nil nil
-%LCLsort _mut_Obj mutable mut nil
-%LCLsort _int_Obj obj int nil
-%LCLsort __int_Obj_Ptr ptr _int_Obj nil
-%LCLsort __int_Obj_Arr arr _int_Obj nil
-%LCLsort _int_Vec vec int __int_Obj_Arr
-%LCLsort ___int_Obj_Ptr_Obj obj __int_Obj_Ptr nil
-%LCLsort _salias40s_Struct str salias40s nil
-%LCLsort field strMem ___int_Obj_Ptr_Obj nil
-%LCLsort val strMem _int_Obj nil
-%LCLsort strEnd nil nil nil
-%LCLsort _salias40s_Struct_Tuple tup _salias40s_Struct nil
-%LCLsort __salias40s_Struct_Ptr ptr _salias40s_Struct nil
-%LCLsort __salias40s_Struct_Arr arr _salias40s_Struct nil
-%LCLsort __salias40s_Struct_Tuple_Vec vec _salias40s_Struct_Tuple __salias40s_Struct_Arr
-%LCLsort _salias41s_Struct str salias41s nil
-%LCLsort field strMem ___int_Obj_Ptr_Obj nil
-%LCLsort val strMem _int_Obj nil
-%LCLsort strEnd nil nil nil
-%LCLsort _salias41s_Struct_Tuple tup _salias41s_Struct nil
-%LCLsort __salias41s_Struct_Ptr ptr _salias41s_Struct nil
-%LCLsort __salias41s_Struct_Arr arr _salias41s_Struct nil
-%LCLsort __salias41s_Struct_Tuple_Vec vec _salias41s_Struct_Tuple __salias41s_Struct_Arr
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop [__, __] :__int_Obj_Ptr, int -> _salias40s_Struct_Tuple
-%LCLop [__, __] :__int_Obj_Ptr, int -> _salias41s_Struct_Tuple
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
-%LCLop __ [] :__salias40s_Struct_Ptr -> __salias40s_Struct_Arr
-%LCLop __ [] :__salias41s_Struct_Ptr -> __salias41s_Struct_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ [__] :_int_Vec, int -> int
-%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
-%LCLop __ [__] :__salias40s_Struct_Tuple_Vec, int -> _salias40s_Struct_Tuple
-%LCLop __ [__] :__salias40s_Struct_Arr, int -> _salias40s_Struct
-%LCLop __ [__] :__salias41s_Struct_Tuple_Vec, int -> _salias41s_Struct_Tuple
-%LCLop __ [__] :__salias41s_Struct_Arr, int -> _salias41s_Struct
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop __ \select val :_salias40s_Struct_Tuple -> int
-%LCLop __ \select val :_salias40s_Struct -> _int_Obj
-%LCLop __ \select val :_salias41s_Struct_Tuple -> int
-%LCLop __ \select val :_salias41s_Struct -> _int_Obj
-%LCLop __ \select field :_salias40s_Struct_Tuple -> __int_Obj_Ptr
-%LCLop __ \select field :_salias40s_Struct -> ___int_Obj_Ptr_Obj
-%LCLop __ \select field :_salias41s_Struct_Tuple -> __int_Obj_Ptr
-%LCLop __ \select field :_salias41s_Struct -> ___int_Obj_Ptr_Obj
-%LCLop __ \field_arrow val :__salias40s_Struct_Ptr -> _int_Obj
-%LCLop __ \field_arrow val :__salias41s_Struct_Ptr -> _int_Obj
-%LCLop __ \field_arrow field :__salias40s_Struct_Ptr -> ___int_Obj_Ptr_Obj
-%LCLop __ \field_arrow field :__salias41s_Struct_Ptr -> ___int_Obj_Ptr_Obj
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop NIL : -> __int_Obj_Ptr
-%LCLop NIL : -> __salias40s_Struct_Ptr
-%LCLop NIL : -> __salias41s_Struct_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ + __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ + __  :int, __int_Obj_Ptr -> __int_Obj_Ptr
-%LCLop __ + __  :__salias40s_Struct_Ptr, int -> __salias40s_Struct_Ptr
-%LCLop __ + __  :int, __salias40s_Struct_Ptr -> __salias40s_Struct_Ptr
-%LCLop __ + __  :__salias41s_Struct_Ptr, int -> __salias41s_Struct_Ptr
-%LCLop __ + __  :int, __salias41s_Struct_Ptr -> __salias41s_Struct_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop __ - __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ - __  :__int_Obj_Ptr, __int_Obj_Ptr -> int
-%LCLop __ - __  :__salias40s_Struct_Ptr, int -> __salias40s_Struct_Ptr
-%LCLop __ - __  :__salias40s_Struct_Ptr, __salias40s_Struct_Ptr -> int
-%LCLop __ - __  :__salias41s_Struct_Ptr, int -> __salias41s_Struct_Ptr
-%LCLop __ - __  :__salias41s_Struct_Ptr, __salias41s_Struct_Ptr -> int
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop sizeof :mut -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop isSub :_int_Vec, int -> bool
-%LCLop isSub :__int_Obj_Arr, int -> bool
-%LCLop isSub :__salias40s_Struct_Tuple_Vec, int -> bool
-%LCLop isSub :__salias40s_Struct_Arr, int -> bool
-%LCLop isSub :__salias41s_Struct_Tuple_Vec, int -> bool
-%LCLop isSub :__salias41s_Struct_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLtype mut _mut_Obj mutable
-%LCLfcn mut_create :  -> _mut_Obj 
-%LCLfcnGlobals 
-%LCLfcn mut_mod : _mut_Obj -> void 
-%LCLfcnGlobals 
-%LCLvar glob _int_Obj
-%LCLvar globp ___int_Obj_Ptr_Obj
-%LCLvar globs _salias40s_Struct
-%LCLfcn f : _mut_Obj, _mut_Obj -> _mut_Obj 
-%LCLfcnGlobals 
-%LCLfcn g :  -> int 
-%LCLfcnGlobals _int_Obj glob; 
-%LCLfcn h :  -> __int_Obj_Ptr 
-%LCLfcnGlobals _int_Obj glob; _salias41s_Struct globs; ___int_Obj_Ptr_Obj globp; 
-%LCLSymbolTableEnd

diff --git a/test/alias4.lh b/test/alias4.lh
deleted file mode 100644 (file)
index 63e4f54..0000000
--- a/test/alias4.lh
+++ /dev/null
@@ -1,14 +0,0 @@
-/* Output from Splint 3.0.0.20 */
-
-# include "bool.h"
-# include "mut.h"
-
-extern int  glob;
-extern int  *globp;
-extern struct {
-    int val;
-    int *field;
-    }  globs;
-extern mut f (mut  /* a */, mut  /* b */);
-extern int g (void);
-extern int *h (void);

diff --git a/test/alias5.lcs b/test/alias5.lcs
deleted file mode 100644 (file)
index ff93612..0000000
--- a/test/alias5.lcs
+++ /dev/null
@@ -1,135 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort pair immutable nil nil
-%LCLsort _pair_Obj mutable pair nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop sizeof :pair -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLtype pair _pair_Obj mutable
-%LCLfcn incx1 : _pair_Obj -> void 
-%LCLfcnGlobals 
-%LCLfcn incx2 : _pair_Obj -> void 
-%LCLfcnGlobals 
-%LCLfcn incx3 : _pair_Obj -> void 
-%LCLfcnGlobals 
-%LCLfcn incx4 : _pair_Obj -> void 
-%LCLfcnGlobals 
-%LCLfcn pair_create :  -> _pair_Obj 
-%LCLfcnGlobals 
-%LCLfcn pair_free : _pair_Obj -> void 
-%LCLfcnGlobals 
-%LCLSymbolTableEnd

diff --git a/test/alias5.lh b/test/alias5.lh
deleted file mode 100644 (file)
index 6f2bc19..0000000
--- a/test/alias5.lh
+++ /dev/null
@@ -1,10 +0,0 @@
-/* Output from Splint 3.0.0.20 */
-# include "bool.h"
-
-
-extern void incx1 (pair  /* p */);
-extern void incx2 (pair  /* p */);
-extern void incx3 (pair  /* p */);
-extern void incx4 (pair  /* p */);
-extern /*@only@*/ pair pair_create (void);
-extern void pair_free (/*@only@*/ /*@out@*/ pair  /* p */);

diff --git a/test/argorder2.lcs b/test/argorder2.lcs
deleted file mode 100644 (file)
index a9eb3d1..0000000
--- a/test/argorder2.lcs
+++ /dev/null
@@ -1,127 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort _int_Obj obj int nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLvar i _int_Obj
-%LCLfcn f : int, int -> int 
-%LCLfcnGlobals _int_Obj i; 
-%LCLfcn g :  -> int 
-%LCLfcnGlobals _int_Obj i; 
-%LCLfcn h :  -> int 
-%LCLfcnGlobals _int_Obj i; 
-%LCLSymbolTableEnd

diff --git a/test/argorder4.lcs b/test/argorder4.lcs
deleted file mode 100644 (file)
index 3035277..0000000
--- a/test/argorder4.lcs
+++ /dev/null
@@ -1,127 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort _int_Obj obj int nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLvar glob _int_Obj
-%LCLfcn f :  -> int 
-%LCLfcnGlobals _int_Obj glob; 
-%LCLfcn g :  -> int 
-%LCLfcnGlobals _int_Obj glob; 
-%LCLfcn h :  -> int 
-%LCLfcnGlobals _int_Obj glob; 
-%LCLSymbolTableEnd

diff --git a/test/args.lcs b/test/args.lcs
deleted file mode 100644 (file)
index dcc20c6..0000000
--- a/test/args.lcs
+++ /dev/null
@@ -1,133 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLfcn severalargs : int, __char_Obj_Ptr -> int 
-%LCLfcnGlobals 
-%LCLfcn severalargs2 : int, __char_Obj_Ptr -> int 
-%LCLfcnGlobals 
-%LCLfcn any :  -> int 
-%LCLfcnGlobals 
-%LCLfcn many1 : int, char -> int 
-%LCLfcnGlobals 
-%LCLfcn many2 : int, char -> int 
-%LCLfcnGlobals 
-%LCLfcn many3 : int, char -> int 
-%LCLfcnGlobals 
-%LCLfcn voidargs :  -> int 
-%LCLfcnGlobals 
-%LCLSymbolTableEnd

diff --git a/test/cast.lcs b/test/cast.lcs
deleted file mode 100644 (file)
index fc3048a..0000000
--- a/test/cast.lcs
+++ /dev/null
@@ -1,127 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort abst1 immutable nil nil
-%LCLsort _abst1_Obj mutable abst1 nil
-%LCLsort abst2 immutable nil nil
-%LCLsort _abst2_Obj mutable abst2 nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop sizeof :abst1 -> int
-%LCLop sizeof :abst2 -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLtype abst1 _abst1_Obj mutable
-%LCLtype abst2 _abst2_Obj mutable
-%LCLSymbolTableEnd

diff --git a/test/decl2.lcs b/test/decl2.lcs
deleted file mode 100644 (file)
index a805ee3..0000000
--- a/test/decl2.lcs
+++ /dev/null
@@ -1,121 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort _int_Obj obj int nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLvar glob _int_Obj
-%LCLSymbolTableEnd

diff --git a/test/enum.lcs b/test/enum.lcs
deleted file mode 100644 (file)
index 5ed12b8..0000000
--- a/test/enum.lcs
+++ /dev/null
@@ -1,227 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort _eenum0e_Enum enum eenum0e nil
-%LCLsort three enumMem nil nil
-%LCLsort two enumMem nil nil
-%LCLsort one enumMem nil nil
-%LCLsort enumEnd nil nil nil
-%LCLsort _etype synonym _eenum0e_Enum nil
-%LCLsort _eenum1e_Enum enum eenum1e nil
-%LCLsort dos enumMem nil nil
-%LCLsort uno enumMem nil nil
-%LCLsort cero enumMem nil nil
-%LCLsort enumEnd nil nil nil
-%LCLsort _stype synonym _eenum1e_Enum nil
-%LCLsort __ietag_Enum enum _ietag nil
-%LCLsort siete enumMem nil nil
-%LCLsort enumEnd nil nil nil
-%LCLsort _itype synonym __ietag_Enum nil
-%LCLsort _senum0s_Struct str senum0s nil
-%LCLsort b strMem _int_Obj nil
-%LCLsort a strMem _int_Obj nil
-%LCLsort strEnd nil nil nil
-%LCLsort _int_Obj obj int nil
-%LCLsort _senum0s_Struct_Tuple tup _senum0s_Struct nil
-%LCLsort __senum0s_Struct_Ptr ptr _senum0s_Struct nil
-%LCLsort __senum0s_Struct_Arr arr _senum0s_Struct nil
-%LCLsort __senum0s_Struct_Tuple_Vec vec _senum0s_Struct_Tuple __senum0s_Struct_Arr
-%LCLsort _st synonym _senum0s_Struct nil
-%LCLsort _senum1s_Struct str senum1s nil
-%LCLsort c strMem _int_Obj nil
-%LCLsort b strMem _int_Obj nil
-%LCLsort a strMem _int_Obj nil
-%LCLsort strEnd nil nil nil
-%LCLsort _senum1s_Struct_Tuple tup _senum1s_Struct nil
-%LCLsort __senum1s_Struct_Ptr ptr _senum1s_Struct nil
-%LCLsort __senum1s_Struct_Arr arr _senum1s_Struct nil
-%LCLsort __senum1s_Struct_Tuple_Vec vec _senum1s_Struct_Tuple __senum1s_Struct_Arr
-%LCLsort _st2 synonym _senum1s_Struct nil
-%LCLsort _eenum2e_Enum enum eenum2e nil
-%LCLsort yasta enumMem nil nil
-%LCLsort pasta enumMem nil nil
-%LCLsort hasta enumMem nil nil
-%LCLsort enumEnd nil nil nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop one : -> _eenum0e_Enum
-%LCLop two : -> _eenum0e_Enum
-%LCLop three : -> _eenum0e_Enum
-%LCLop cero : -> _eenum1e_Enum
-%LCLop uno : -> _eenum1e_Enum
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop dos : -> _eenum1e_Enum
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLtag _ietag enum
-%LCLop siete : -> __ietag_Enum
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop [__, __] :int, int -> _senum0s_Struct_Tuple
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ [] :__senum0s_Struct_Ptr -> __senum0s_Struct_Arr
-%LCLop __ [] :__senum1s_Struct_Ptr -> __senum1s_Struct_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop [__, __, __] :int, int, int -> _senum1s_Struct_Tuple
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ [__] :__senum0s_Struct_Tuple_Vec, int -> _senum0s_Struct_Tuple
-%LCLop __ [__] :__senum0s_Struct_Arr, int -> _senum0s_Struct
-%LCLop __ [__] :__senum1s_Struct_Tuple_Vec, int -> _senum1s_Struct_Tuple
-%LCLop __ [__] :__senum1s_Struct_Arr, int -> _senum1s_Struct
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop hasta : -> _eenum2e_Enum
-%LCLop pasta : -> _eenum2e_Enum
-%LCLop yasta : -> _eenum2e_Enum
-%LCLop __ \select a :_senum0s_Struct_Tuple -> int
-%LCLop __ \select a :_senum0s_Struct -> _int_Obj
-%LCLop __ \select a :_senum1s_Struct_Tuple -> int
-%LCLop __ \select a :_senum1s_Struct -> _int_Obj
-%LCLop __ \select b :_senum0s_Struct_Tuple -> int
-%LCLop __ \select b :_senum0s_Struct -> _int_Obj
-%LCLop __ \select b :_senum1s_Struct_Tuple -> int
-%LCLop __ \select b :_senum1s_Struct -> _int_Obj
-%LCLop __ \field_arrow a :__senum0s_Struct_Ptr -> _int_Obj
-%LCLop __ \field_arrow a :__senum1s_Struct_Ptr -> _int_Obj
-%LCLop __ \field_arrow b :__senum0s_Struct_Ptr -> _int_Obj
-%LCLop __ \field_arrow b :__senum1s_Struct_Ptr -> _int_Obj
-%LCLop __ \select c :_senum1s_Struct_Tuple -> int
-%LCLop __ \select c :_senum1s_Struct -> _int_Obj
-%LCLop __ \field_arrow c :__senum1s_Struct_Ptr -> _int_Obj
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop NIL : -> __senum0s_Struct_Ptr
-%LCLop NIL : -> __senum1s_Struct_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ + __  :__senum0s_Struct_Ptr, int -> __senum0s_Struct_Ptr
-%LCLop __ + __  :int, __senum0s_Struct_Ptr -> __senum0s_Struct_Ptr
-%LCLop __ + __  :__senum1s_Struct_Ptr, int -> __senum1s_Struct_Ptr
-%LCLop __ + __  :int, __senum1s_Struct_Ptr -> __senum1s_Struct_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop __ - __  :__senum0s_Struct_Ptr, int -> __senum0s_Struct_Ptr
-%LCLop __ - __  :__senum0s_Struct_Ptr, __senum0s_Struct_Ptr -> int
-%LCLop __ - __  :__senum1s_Struct_Ptr, int -> __senum1s_Struct_Ptr
-%LCLop __ - __  :__senum1s_Struct_Ptr, __senum1s_Struct_Ptr -> int
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop sizeof :_eenum0e_Enum -> int
-%LCLop sizeof :_eenum1e_Enum -> int
-%LCLop sizeof :__ietag_Enum -> int
-%LCLop sizeof :_eenum2e_Enum -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop isSub :__senum0s_Struct_Tuple_Vec, int -> bool
-%LCLop isSub :__senum0s_Struct_Arr, int -> bool
-%LCLop isSub :__senum1s_Struct_Tuple_Vec, int -> bool
-%LCLop isSub :__senum1s_Struct_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLenumConst one _eenum0e_Enum
-%LCLenumConst two _eenum0e_Enum
-%LCLenumConst three _eenum0e_Enum
-%LCLtype etype _etype exposed
-%LCLenumConst cero _eenum1e_Enum
-%LCLenumConst uno _eenum1e_Enum
-%LCLenumConst dos _eenum1e_Enum
-%LCLtype stype _stype exposed
-%LCLenumConst siete __ietag_Enum
-%LCLtype itype _itype exposed
-%LCLtype st _st exposed
-%LCLtype st2 _st2 exposed
-%LCLenumConst hasta _eenum2e_Enum
-%LCLenumConst pasta _eenum2e_Enum
-%LCLenumConst yasta _eenum2e_Enum
-%LCLSymbolTableEnd

diff --git a/test/glob.lcs b/test/glob.lcs
deleted file mode 100644 (file)
index 486b13e..0000000
--- a/test/glob.lcs
+++ /dev/null
@@ -1,129 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort _int_Obj obj int nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLvar x _int_Obj
-%LCLvar y _int_Obj
-%LCLvar z _int_Obj
-%LCLfcn useGlob : int -> int 
-%LCLfcnGlobals _int_Obj x; _int_Obj y; _int_Obj z; 
-%LCLfcn dontuseGlob : int -> int 
-%LCLfcnGlobals 
-%LCLfcn callsUseGlob : int -> int 
-%LCLfcnGlobals _int_Obj x; 
-%LCLSymbolTableEnd

diff --git a/test/impabstract.lcs b/test/impabstract.lcs
deleted file mode 100644 (file)
index b23b157..0000000
--- a/test/impabstract.lcs
+++ /dev/null
@@ -1,125 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort _mint synonym int nil
-%LCLsort cint immutable nil nil
-%LCLsort _cint_Obj mutable cint nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop sizeof :cint -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLtype mint _mint exposed
-%LCLtype cint _cint_Obj mutable
-%LCLSymbolTableEnd

diff --git a/test/iter.lcs b/test/iter.lcs
deleted file mode 100644 (file)
index 1a5f4f1..0000000
--- a/test/iter.lcs
+++ /dev/null
@@ -1,119 +0,0 @@
-%FAILED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLSymbolTableEnd

diff --git a/test/macros.lcs b/test/macros.lcs
deleted file mode 100644 (file)
index 7cb29e6..0000000
--- a/test/macros.lcs
+++ /dev/null
@@ -1,152 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort twerp immutable nil nil
-%LCLsort _int_Obj obj int nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop sizeof :twerp -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLtype twerp twerp immutable
-%LCLfcn ok : int, int -> int 
-%LCLfcnGlobals 
-%LCLfcn needparen : int, int -> int 
-%LCLfcnGlobals 
-%LCLfcn needuse : int, int -> int 
-%LCLfcnGlobals 
-%LCLfcn multuse : int, int -> int 
-%LCLfcnGlobals 
-%LCLfcn badassign : int, int -> int 
-%LCLfcnGlobals 
-%LCLfcn predok : int, int -> int 
-%LCLfcnGlobals 
-%LCLfcn predbad : int, int -> int 
-%LCLfcnGlobals 
-%LCLfcn predbad2 : int, int -> int 
-%LCLfcnGlobals 
-%LCLfcn badorder : int, int -> int 
-%LCLfcnGlobals 
-%LCLfcn okorder : int, int, int -> int 
-%LCLfcnGlobals 
-%LCLfcn okorder2 : int, int, int -> int 
-%LCLfcnGlobals 
-%LCLfcn badval : int, int -> int 
-%LCLfcnGlobals 
-%LCLconst badconst bool
-%LCLconst goodconst bool
-%LCLconst worseconst int
-%LCLvar var _int_Obj
-%LCLvar var2 _int_Obj
-%LCLSymbolTableEnd

diff --git a/test/macrosef.lcs b/test/macrosef.lcs
deleted file mode 100644 (file)
index b5abbd9..0000000
--- a/test/macrosef.lcs
+++ /dev/null
@@ -1,137 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort _HOF_sort_13 hof nil nil
-%LCLsort _int_Obj obj int nil
-%LCLsort __int_Obj_Ptr ptr _int_Obj nil
-%LCLsort __int_Obj_Arr arr _int_Obj nil
-%LCLsort _int_Vec vec int __int_Obj_Arr
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ [__] :_int_Vec, int -> int
-%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop NIL : -> __int_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ + __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ + __  :int, __int_Obj_Ptr -> __int_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop __ - __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ - __  :__int_Obj_Ptr, __int_Obj_Ptr -> int
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop isSub :_int_Vec, int -> bool
-%LCLop isSub :__int_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLvar f _HOF_sort_13
-%LCLfcn g : __int_Obj_Ptr -> int 
-%LCLfcnGlobals 
-%LCLSymbolTableEnd

diff --git a/test/modtest.lcs b/test/modtest.lcs
deleted file mode 100644 (file)
index 166a123..0000000
--- a/test/modtest.lcs
+++ /dev/null
@@ -1,174 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort _int_Obj obj int nil
-%LCLsort __int_Obj_Arr arr _int_Obj nil
-%LCLsort _int_Vec vec int __int_Obj_Arr
-%LCLsort __ts_Struct str _ts nil
-%LCLsort b strMem _int_Obj nil
-%LCLsort a strMem _int_Obj nil
-%LCLsort strEnd nil nil nil
-%LCLsort __ts_Struct_Tuple tup __ts_Struct nil
-%LCLsort ___ts_Struct_Ptr ptr __ts_Struct nil
-%LCLsort ___ts_Struct_Arr arr __ts_Struct nil
-%LCLsort ___ts_Struct_Tuple_Vec vec __ts_Struct_Tuple ___ts_Struct_Arr
-%LCLsort _tst synonym __ts_Struct nil
-%LCLsort ____ts_Struct_Ptr_Obj obj ___ts_Struct_Ptr nil
-%LCLsort __int_Obj_Ptr ptr _int_Obj nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 3 : -> double
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 6 : -> double
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLtag _ts struct
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop [__, __] :int, int -> __ts_Struct_Tuple
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ [] :___ts_Struct_Ptr -> ___ts_Struct_Arr
-%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ [__] :_int_Vec, int -> int
-%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
-%LCLop __ [__] :___ts_Struct_Tuple_Vec, int -> __ts_Struct_Tuple
-%LCLop __ [__] :___ts_Struct_Arr, int -> __ts_Struct
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop __ \select a :__ts_Struct_Tuple -> int
-%LCLop __ \select a :__ts_Struct -> _int_Obj
-%LCLop __ \select b :__ts_Struct_Tuple -> int
-%LCLop __ \select b :__ts_Struct -> _int_Obj
-%LCLop null : -> char
-%LCLop __ \field_arrow a :___ts_Struct_Ptr -> _int_Obj
-%LCLop __ \field_arrow b :___ts_Struct_Ptr -> _int_Obj
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop NIL : -> ___ts_Struct_Ptr
-%LCLop NIL : -> __int_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ + __  :___ts_Struct_Ptr, int -> ___ts_Struct_Ptr
-%LCLop __ + __  :int, ___ts_Struct_Ptr -> ___ts_Struct_Ptr
-%LCLop __ + __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ + __  :int, __int_Obj_Ptr -> __int_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop __ - __  :___ts_Struct_Ptr, int -> ___ts_Struct_Ptr
-%LCLop __ - __  :___ts_Struct_Ptr, ___ts_Struct_Ptr -> int
-%LCLop __ - __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ - __  :__int_Obj_Ptr, __int_Obj_Ptr -> int
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop isSub :_int_Vec, int -> bool
-%LCLop isSub :__int_Obj_Arr, int -> bool
-%LCLop isSub :___ts_Struct_Tuple_Vec, int -> bool
-%LCLop isSub :___ts_Struct_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLvar x _int_Obj
-%LCLvar y _int_Obj
-%LCLvar ai __int_Obj_Arr
-%LCLvar bi __int_Obj_Arr
-%LCLtype tst _tst exposed
-%LCLvar ts __ts_Struct
-%LCLvar tstp ____ts_Struct_Ptr_Obj
-%LCLfcn f : __int_Obj_Arr, __int_Obj_Ptr -> int 
-%LCLfcnGlobals __int_Obj_Arr ai; _int_Obj x; _int_Obj y; __ts_Struct ts; ____ts_Struct_Ptr_Obj tstp; 
-%LCLfcn g : __int_Obj_Arr, __int_Obj_Ptr -> int 
-%LCLfcnGlobals _int_Obj x; _int_Obj y; 
-%LCLSymbolTableEnd

diff --git a/test/mut.lcs b/test/mut.lcs
deleted file mode 100644 (file)
index 3f1adf4..0000000
--- a/test/mut.lcs
+++ /dev/null
@@ -1,127 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort mut immutable nil nil
-%LCLsort _mut_Obj mutable mut nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop sizeof :mut -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLtype mut _mut_Obj mutable
-%LCLfcn mut_create :  -> _mut_Obj 
-%LCLfcnGlobals 
-%LCLfcn mut_mod : _mut_Obj -> void 
-%LCLfcnGlobals 
-%LCLSymbolTableEnd

diff --git a/test/mut.lh b/test/mut.lh
deleted file mode 100644 (file)
index 6597d98..0000000
--- a/test/mut.lh
+++ /dev/null
@@ -1,6 +0,0 @@
-/* Output from Splint 3.0.0.20 */
-# include "bool.h"
-
-
-extern /*@only@*/ mut mut_create (void);
-extern void mut_mod (mut  /* a */);

diff --git a/test/null6.lcs b/test/null6.lcs
deleted file mode 100644 (file)
index 867bb7f..0000000
--- a/test/null6.lcs
+++ /dev/null
@@ -1,123 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort mnull immutable nil nil
-%LCLsort _mnull_Obj mutable mnull nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop sizeof :mnull -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLtype mnull _mnull_Obj mutable
-%LCLSymbolTableEnd

diff --git a/test/observer.lcs b/test/observer.lcs
deleted file mode 100644 (file)
index 6a2d112..0000000
--- a/test/observer.lcs
+++ /dev/null
@@ -1,125 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort stx immutable nil nil
-%LCLsort _stx_Obj mutable stx nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop sizeof :stx -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLtype stx _stx_Obj mutable
-%LCLfcn stx_name : _stx_Obj -> __char_Obj_Ptr 
-%LCLfcnGlobals 
-%LCLSymbolTableEnd

diff --git a/test/oldstyle.lcs b/test/oldstyle.lcs
deleted file mode 100644 (file)
index 2508f08..0000000
--- a/test/oldstyle.lcs
+++ /dev/null
@@ -1,125 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort _HOF_sort_13 hof nil nil
-%LCLsort _HOF_sort_14 hof nil nil
-%LCLsort _HOF_sort_15 hof nil nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLvar f1 _HOF_sort_13
-%LCLvar f2 _HOF_sort_14
-%LCLvar f3 _HOF_sort_15
-%LCLSymbolTableEnd

diff --git a/test/outglob.lcs b/test/outglob.lcs
deleted file mode 100644 (file)
index 2a6aa08..0000000
--- a/test/outglob.lcs
+++ /dev/null
@@ -1,127 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort _int_Obj obj int nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLvar x1 _int_Obj
-%LCLvar x2 _int_Obj
-%LCLvar x3 _int_Obj
-%LCLfcn f :  -> int 
-%LCLfcnGlobals _int_Obj x1; _int_Obj x2; _int_Obj x3; 
-%LCLfcn g :  -> int 
-%LCLfcnGlobals _int_Obj x1; _int_Obj x2; _int_Obj x3; 
-%LCLSymbolTableEnd

diff --git a/test/outparam.lcs b/test/outparam.lcs
deleted file mode 100644 (file)
index fcab577..0000000
--- a/test/outparam.lcs
+++ /dev/null
@@ -1,167 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort __st_Struct str _st nil
-%LCLsort b strMem _int_Obj nil
-%LCLsort a strMem _int_Obj nil
-%LCLsort strEnd nil nil nil
-%LCLsort _int_Obj obj int nil
-%LCLsort __st_Struct_Tuple tup __st_Struct nil
-%LCLsort ___st_Struct_Ptr ptr __st_Struct nil
-%LCLsort ___st_Struct_Arr arr __st_Struct nil
-%LCLsort ___st_Struct_Tuple_Vec vec __st_Struct_Tuple ___st_Struct_Arr
-%LCLsort _st synonym ___st_Struct_Ptr nil
-%LCLsort __int_Obj_Ptr ptr _int_Obj nil
-%LCLsort __int_Obj_Arr arr _int_Obj nil
-%LCLsort _int_Vec vec int __int_Obj_Arr
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLtag _st struct
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop [__, __] :int, int -> __st_Struct_Tuple
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ [] :___st_Struct_Ptr -> ___st_Struct_Arr
-%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
-%LCLop __ \select a :__st_Struct_Tuple -> int
-%LCLop __ \select a :__st_Struct -> _int_Obj
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ \select b :__st_Struct_Tuple -> int
-%LCLop __ \select b :__st_Struct -> _int_Obj
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ [__] :___st_Struct_Tuple_Vec, int -> __st_Struct_Tuple
-%LCLop __ [__] :___st_Struct_Arr, int -> __st_Struct
-%LCLop __ [__] :_int_Vec, int -> int
-%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
-%LCLop __ \field_arrow a :___st_Struct_Ptr -> _int_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \field_arrow b :___st_Struct_Ptr -> _int_Obj
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop NIL : -> ___st_Struct_Ptr
-%LCLop NIL : -> __int_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ + __  :___st_Struct_Ptr, int -> ___st_Struct_Ptr
-%LCLop __ + __  :int, ___st_Struct_Ptr -> ___st_Struct_Ptr
-%LCLop __ + __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ + __  :int, __int_Obj_Ptr -> __int_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop __ - __  :___st_Struct_Ptr, int -> ___st_Struct_Ptr
-%LCLop __ - __  :___st_Struct_Ptr, ___st_Struct_Ptr -> int
-%LCLop __ - __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ - __  :__int_Obj_Ptr, __int_Obj_Ptr -> int
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop isSub :___st_Struct_Tuple_Vec, int -> bool
-%LCLop isSub :___st_Struct_Arr, int -> bool
-%LCLop isSub :_int_Vec, int -> bool
-%LCLop isSub :__int_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLtype st _st exposed
-%LCLfcn f : __int_Obj_Ptr, __int_Obj_Ptr -> void 
-%LCLfcnGlobals 
-%LCLfcn h : ___st_Struct_Ptr, ___st_Struct_Ptr -> void 
-%LCLfcnGlobals 
-%LCLfcn g :  -> int 
-%LCLfcnGlobals 
-%LCLSymbolTableEnd

diff --git a/test/repexpose.lcs b/test/repexpose.lcs
deleted file mode 100644 (file)
index 0f92ce3..0000000
--- a/test/repexpose.lcs
+++ /dev/null
@@ -1,172 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort abst immutable nil nil
-%LCLsort _abst_Obj mutable abst nil
-%LCLsort immut immutable nil nil
-%LCLsort ___char_Obj_Ptr_Obj obj __char_Obj_Ptr nil
-%LCLsort ____char_Obj_Ptr_Obj_Ptr ptr ___char_Obj_Ptr_Obj nil
-%LCLsort ____char_Obj_Ptr_Obj_Arr arr ___char_Obj_Ptr_Obj nil
-%LCLsort ___char_Obj_Ptr_Vec vec __char_Obj_Ptr ____char_Obj_Ptr_Obj_Arr
-%LCLsort _____char_Obj_Ptr_Obj_Ptr_Obj obj ____char_Obj_Ptr_Obj_Ptr nil
-%LCLsort _int_Obj obj int nil
-%LCLsort __int_Obj_Ptr ptr _int_Obj nil
-%LCLsort __int_Obj_Arr arr _int_Obj nil
-%LCLsort _int_Vec vec int __int_Obj_Arr
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ [] :____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Arr
-%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ [__] :___char_Obj_Ptr_Vec, int -> __char_Obj_Ptr
-%LCLop __ [__] :____char_Obj_Ptr_Obj_Arr, int -> ___char_Obj_Ptr_Obj
-%LCLop __ [__] :_int_Vec, int -> int
-%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop NIL : -> ____char_Obj_Ptr_Obj_Ptr
-%LCLop NIL : -> __int_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ + __  :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr
-%LCLop __ + __  :int, ____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Ptr
-%LCLop __ + __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ + __  :int, __int_Obj_Ptr -> __int_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop __ - __  :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr
-%LCLop __ - __  :____char_Obj_Ptr_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> int
-%LCLop __ - __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ - __  :__int_Obj_Ptr, __int_Obj_Ptr -> int
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop sizeof :abst -> int
-%LCLop sizeof :immut -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop isSub :___char_Obj_Ptr_Vec, int -> bool
-%LCLop isSub :____char_Obj_Ptr_Obj_Arr, int -> bool
-%LCLop isSub :_int_Vec, int -> bool
-%LCLop isSub :__int_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLtype abst _abst_Obj mutable
-%LCLtype immut immut immutable
-%LCLvar globstring _____char_Obj_Ptr_Obj_Ptr_Obj
-%LCLfcn abst_create : _abst_Obj, __char_Obj_Ptr, int -> _abst_Obj 
-%LCLfcnGlobals _____char_Obj_Ptr_Obj_Ptr_Obj globstring; 
-%LCLfcn abst_name : _abst_Obj -> __char_Obj_Ptr 
-%LCLfcnGlobals 
-%LCLfcn abst_val : _abst_Obj -> int 
-%LCLfcnGlobals 
-%LCLfcn abst_aval : _abst_Obj -> __int_Obj_Ptr 
-%LCLfcnGlobals 
-%LCLfcn abst_parent : _abst_Obj -> _abst_Obj 
-%LCLfcnGlobals 
-%LCLfcn immut_name : immut -> __char_Obj_Ptr 
-%LCLfcnGlobals 
-%LCLfcn abst_setIm : _abst_Obj, immut -> void 
-%LCLfcnGlobals 
-%LCLfcn abst_getIm : _abst_Obj -> immut 
-%LCLfcnGlobals 
-%LCLSymbolTableEnd

diff --git a/test/repexpose.lh b/test/repexpose.lh
deleted file mode 100644 (file)
index b448cea..0000000
--- a/test/repexpose.lh
+++ /dev/null
@@ -1,14 +0,0 @@
-/* Output from Splint 3.0.0.20 */
-# include "bool.h"
-
-
-
-extern char  **globstring;
-extern /*@only@*/ abst abst_create (/*@dependent@*/ abst  /* p */, /*@only@*/ char * /* x */, int  /* i */);
-extern /*@only@*/ char *abst_name (abst  /* a */);
-extern int abst_val (abst  /* a */);
-extern int *abst_aval (abst  /* a */);
-extern /*@only@*/ abst abst_parent (/*@only@*/ abst  /* a */);
-extern /*@dependent@*/ char *immut_name (immut  /* im */);
-extern void abst_setIm (abst  /* a */, immut  /* im */);
-extern immut abst_getIm (abst  /* a */);

diff --git a/test/special.lcs b/test/special.lcs
deleted file mode 100644 (file)
index 090ce77..0000000
--- a/test/special.lcs
+++ /dev/null
@@ -1,126 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort _int_Obj obj int nil
-%LCLsort ___char_Obj_Ptr_Obj obj __char_Obj_Ptr nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLvar gc _char_Obj
-%LCLvar gi _int_Obj
-%LCLvar gs ___char_Obj_Ptr_Obj
-%LCLfcn f :  -> int 
-%LCLfcnGlobals _char_Obj gc; _int_Obj gi; ___char_Obj_Ptr_Obj gs; 
-%LCLSymbolTableEnd

diff --git a/test/tq.lcs b/test/tq.lcs
deleted file mode 100644 (file)
index f7040ce..0000000
--- a/test/tq.lcs
+++ /dev/null
@@ -1,149 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort tam immutable nil nil
-%LCLsort _tam_Obj mutable tam nil
-%LCLsort tai immutable nil nil
-%LCLsort tmixm immutable nil nil
-%LCLsort _tmixm_Obj mutable tmixm nil
-%LCLsort tmixi immutable nil nil
-%LCLsort _int_Obj obj int nil
-%LCLsort __int_Obj_Ptr ptr _int_Obj nil
-%LCLsort __int_Obj_Arr arr _int_Obj nil
-%LCLsort _int_Vec vec int __int_Obj_Arr
-%LCLsort _tmixa synonym __int_Obj_Ptr nil
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ [__] :_int_Vec, int -> int
-%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop NIL : -> __int_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ + __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ + __  :int, __int_Obj_Ptr -> __int_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop __ - __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ - __  :__int_Obj_Ptr, __int_Obj_Ptr -> int
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop sizeof :tam -> int
-%LCLop sizeof :tai -> int
-%LCLop sizeof :tmixm -> int
-%LCLop sizeof :tmixi -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop isSub :_int_Vec, int -> bool
-%LCLop isSub :__int_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLtype tam _tam_Obj mutable
-%LCLtype tai tai immutable
-%LCLtype tmixm _tmixm_Obj mutable
-%LCLtype tmixi tmixi immutable
-%LCLtype tmixa _tmixa exposed
-%LCLSymbolTableEnd

diff --git a/test/ud2.lcs b/test/ud2.lcs
deleted file mode 100644 (file)
index f2ee966..0000000
--- a/test/ud2.lcs
+++ /dev/null
@@ -1,153 +0,0 @@
-%PASSED Output from Splint 3.0.0.20
-%LCLimports 
-%LCLSortTable
-%LCLsort bool immutable nil nil
-%LCLsort Bool synonym bool nil
-%LCLsort int primitive nil nil
-%LCLsort char primitive nil nil
-%LCLsort void primitive nil nil
-%LCLsort _char_Obj obj char nil
-%LCLsort __char_Obj_Ptr ptr _char_Obj nil
-%LCLsort __char_Obj_Arr arr _char_Obj nil
-%LCLsort _char_Vec vec char __char_Obj_Arr
-%LCLsort float primitive nil nil
-%LCLsort double primitive nil nil
-%LCLsort ___char_Obj_Ptr_Obj obj __char_Obj_Ptr nil
-%LCLsort ____char_Obj_Ptr_Obj_Ptr ptr ___char_Obj_Ptr_Obj nil
-%LCLsort ____char_Obj_Ptr_Obj_Arr arr ___char_Obj_Ptr_Obj nil
-%LCLsort ___char_Obj_Ptr_Vec vec __char_Obj_Ptr ____char_Obj_Ptr_Obj_Arr
-%LCLsort _int_Obj obj int nil
-%LCLsort __int_Obj_Ptr ptr _int_Obj nil
-%LCLsort __int_Obj_Arr arr _int_Obj nil
-%LCLsort _int_Vec vec int __int_Obj_Arr
-%LCLSortTableEnd
-%LCLSymbolTable
-%LCLop min :int, int -> int
-%LCLop max :int, int -> int
-%LCLop 0 : -> int
-%LCLop 0 : -> double
-%LCLop 1 : -> int
-%LCLop 1 : -> double
-%LCLop if __ then __ else __  :bool, bool, bool -> bool
-%LCLop if __ then __ else __  :bool, int, int -> int
-%LCLop if __ then __ else __  :bool, double, double -> double
-%LCLop if __ then __ else __  :bool, _char_Vec, _char_Vec -> _char_Vec
-%LCLop if __ then __ else __  :bool, char, char -> char
-%LCLop __ < __  :int, int -> bool
-%LCLop __ < __  :double, double -> bool
-%LCLop empty : -> _char_Vec
-%LCLop __ > __  :int, int -> bool
-%LCLop __ > __  :double, double -> bool
-%LCLop count :char, _char_Vec -> int
-%LCLop head :_char_Vec -> char
-%LCLop __ \inv :double -> double
-%LCLop init :_char_Vec -> _char_Vec
-%LCLop isEmpty :_char_Vec -> bool
-%LCLop last :_char_Vec -> char
-%LCLop len :_char_Vec -> int
-%LCLop prefix :_char_Vec, int -> _char_Vec
-%LCLop __ / __  :double, double -> double
-%LCLop __ \implies __  :bool, bool -> bool
-%LCLop removePrefix :_char_Vec, int -> _char_Vec
-%LCLop substring :_char_Vec, int, int -> _char_Vec
-%LCLop __ || __  :_char_Vec, _char_Vec -> _char_Vec
-%LCLop tail :_char_Vec -> _char_Vec
-%LCLop __ \in __  :char, _char_Vec -> bool
-%LCLop nullTerminated :_char_Vec -> bool
-%LCLop throughNull :_char_Vec -> _char_Vec
-%LCLop sameStr :_char_Vec, _char_Vec -> bool
-%LCLop lenStr :_char_Vec -> int
-%LCLop times10plus :int, int -> int
-%LCLop plus1 :int -> int
-%LCLop 2 : -> int
-%LCLop 3 : -> int
-%LCLop 4 : -> int
-%LCLop 5 : -> int
-%LCLop 6 : -> int
-%LCLop 7 : -> int
-%LCLop 8 : -> int
-%LCLop 9 : -> int
-%LCLop __ * __  :int, int -> int
-%LCLop __ * __  :double, double -> double
-%LCLop true : -> bool
-%LCLop false : -> bool
-%LCLop __ \and __  :bool, bool -> bool
-%LCLop __ \or __  :bool, bool -> bool
-%LCLop __ \eq __  :bool, bool -> bool
-%LCLop __ \eq __  :int, int -> bool
-%LCLop __ \eq __  :double, double -> bool
-%LCLop __ \eq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \eq __  :char, char -> bool
-%LCLop \not __  :bool -> bool
-%LCLop __ \neq __  :bool, bool -> bool
-%LCLop __ \neq __  :int, int -> bool
-%LCLop __ \neq __  :double, double -> bool
-%LCLop __ \neq __  :_char_Vec, _char_Vec -> bool
-%LCLop __ \neq __  :char, char -> bool
-%LCLop { __ } :char -> _char_Vec
-%LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
-%LCLop __ [] :____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Arr
-%LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
-%LCLop __ |- __  :_char_Vec, char -> _char_Vec
-%LCLop __ [__] :_char_Vec, int -> char
-%LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
-%LCLop __ [__] :___char_Obj_Ptr_Vec, int -> __char_Obj_Ptr
-%LCLop __ [__] :____char_Obj_Ptr_Obj_Arr, int -> ___char_Obj_Ptr_Obj
-%LCLop __ [__] :_int_Vec, int -> int
-%LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
-%LCLop __ -| __  :char, _char_Vec -> _char_Vec
-%LCLop __ \leq __  :int, int -> bool
-%LCLop __ \leq __  :double, double -> bool
-%LCLop __ \geq __  :int, int -> bool
-%LCLop __ \geq __  :double, double -> bool
-%LCLop null : -> char
-%LCLop NIL : -> __char_Obj_Ptr
-%LCLop NIL : -> ____char_Obj_Ptr_Obj_Ptr
-%LCLop NIL : -> __int_Obj_Ptr
-%LCLop - __  :int -> int
-%LCLop - __  :double -> double
-%LCLop __ + __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ + __  :int, __char_Obj_Ptr -> __char_Obj_Ptr
-%LCLop __ + __  :int, int -> int
-%LCLop __ + __  :double, double -> double
-%LCLop __ + __  :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr
-%LCLop __ + __  :int, ____char_Obj_Ptr_Obj_Ptr -> ____char_Obj_Ptr_Obj_Ptr
-%LCLop __ + __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ + __  :int, __int_Obj_Ptr -> __int_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, int -> __char_Obj_Ptr
-%LCLop __ - __  :__char_Obj_Ptr, __char_Obj_Ptr -> int
-%LCLop __ - __  :int, int -> int
-%LCLop __ - __  :double, double -> double
-%LCLop __ - __  :____char_Obj_Ptr_Obj_Ptr, int -> ____char_Obj_Ptr_Obj_Ptr
-%LCLop __ - __  :____char_Obj_Ptr_Obj_Ptr, ____char_Obj_Ptr_Obj_Ptr -> int
-%LCLop __ - __  :__int_Obj_Ptr, int -> __int_Obj_Ptr
-%LCLop __ - __  :__int_Obj_Ptr, __int_Obj_Ptr -> int
-%LCLop sizeof :bool -> int
-%LCLop sizeof :int -> int
-%LCLop sizeof :char -> int
-%LCLop sizeof :void -> int
-%LCLop sizeof :float -> int
-%LCLop sizeof :double -> int
-%LCLop isSub :_char_Vec, int -> bool
-%LCLop isSub :__char_Obj_Arr, int -> bool
-%LCLop isSub :___char_Obj_Ptr_Vec, int -> bool
-%LCLop isSub :____char_Obj_Ptr_Obj_Arr, int -> bool
-%LCLop isSub :_int_Vec, int -> bool
-%LCLop isSub :__int_Obj_Arr, int -> bool
-%LCLop succ :int -> int
-%LCLop pred :int -> int
-%LCLop abs :int -> int
-%LCLop abs :double -> double
-%LCLop div :int, int -> int
-%LCLop mod :int, int -> int
-%LCLtype float float exposed
-%LCLtype bool bool immutable
-%LCLconst FALSE bool
-%LCLconst TRUE bool
-%LCLfcn f1 : ____char_Obj_Ptr_Obj_Ptr -> void 
-%LCLfcnGlobals 
-%LCLfcn f2 : ____char_Obj_Ptr_Obj_Ptr -> void 
-%LCLfcnGlobals 
-%LCLfcn f3 : __int_Obj_Ptr -> void 
-%LCLfcnGlobals 
-%LCLSymbolTableEnd