summaryrefslogtreecommitdiff
path: root/Test/test20
ModeNameSize
-rw-r--r--Answer11055logplain
-rw-r--r--Coercions.bpl346logplain
-rw-r--r--EmptySeq.bpl164logplain
-rw-r--r--ParallelAssignment.bpl552logplain
-rw-r--r--ParallelAssignment2.bpl330logplain
-rw-r--r--PolyFuns0.bpl1875logplain
-rw-r--r--PolyFuns1.bpl1557logplain
-rw-r--r--PolyPolyPoly.bpl649logplain
-rw-r--r--PolyPolyPoly2.bpl893logplain
-rw-r--r--PolyProcs0.bpl1338logplain
-rw-r--r--ProcParamReordering.bpl329logplain
-rw-r--r--Prog0.bpl1114logplain
-rw-r--r--Prog1.bpl557logplain
-rw-r--r--Prog2.bpl549logplain
-rw-r--r--TypeDecls0.bpl1173logplain
-rw-r--r--TypeDecls1.bpl569logplain
-rw-r--r--TypeSynonyms0.bpl540logplain
-rw-r--r--TypeSynonyms1.bpl968logplain
-rw-r--r--TypeSynonyms2.bpl532logplain
-rw-r--r--runtest.bat912logplain