Lines Matching refs:casl
27 \item TestBasic.casl - similar output: OK
28 \item silvia.casl - similar output: OK (valid specification)
34 \item donald.casl - similar output: OK
35 \item fred1.casl - similar output: OK
36 \item frederic.casl - similar output: OK
37 \item import\_test.casl - similar output: OK (ERROR)
38 \item Invoice.casl - not similar output:
59 *** Error /home/cofi/jiang/HetCATS/CASL-lib/TestSuite/Correct/Invoice.casl:203.36,
84 \item min\_test.casl - similar output: OK
85 \item piotr.casl - similar output: OK (ERROR)
86 \item piotr\_short.casl - similar output: OK (ERROR)
87 \item pushouts.casl - similar output: OK
88 \item serge.casl - similar output: OK
89 \item subsorts.casl - similar output: OK
90 \item TestArch.casl - similar output: OK (ERROR)
91 \item TestBasic.casl - similar output: OK
92 \item TestStruct.casl - similar output: OK (ERROR)
93 \item union\_test.casl - similar output: OK
94 \item view\_test.casl - similar output: OK
95 \item WareHouse.casl - BOMBOM
118 *** Error /home/cofi/jiang/HetCATS/CASL-lib/TestSuite/Correct/Invoice.casl:203.36, Amalgamability is not ensured: