tcs1.testcase revision 2cf5a456da8bb3a2bbb695414d8304426e3bd277
tcs1.cspcasl
CoreCspCASL
++
data sorts S, T
ops c : S;
d : T
process c -> SKIP || d -> SKIP
end