Cross Reference: tcs1.cspcasl
xref
: /
hets
/
CspCASL
/
test
/
tcs1.cspcasl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
tcs1.cspcasl revision 197888c54795ec1e79e77289b7e20436a6db74c0
logic CspCASL
spec tcs1 =
data sort S, T
ops c: S; d: T
process
tcs1: S, T
tcs1 = c -> SKIP || d -> SKIP