X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/55c181ed1f0010aec5653dd3d22fc561bf21be6e..9a45202a52103e8e330c0f92551c0216c0743ec3:/test/oldstyle.lcs

diff --git a/test/oldstyle.lcs b/test/oldstyle.lcs
deleted file mode 100644
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