Cross Reference: tcs2.testcase
xref
: /
hets
/
CspCASL
/
test
/
tcs2.testcase
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
tcs2.testcase revision d40dd10adffcf341489a1310092fcc99de75f225
2
N/A
tcs2.cspcasl
2
N/A
CoreCspCASL
2
N/A
++
2
N/A
data sort S < T
2
N/A
ops c : S;
2
N/A
d : T
2
N/A
. c = d
2
N/A
process c -> SKIP || d -> SKIP
2
N/A
end