tcs2.testcase revision d40dd10adffcf341489a1310092fcc99de75f225
tcs2.cspcasl
CoreCspCASL
++
data sort S < T
ops c : S;
d : T
. c = d
process c -> SKIP || d -> SKIP
end