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