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