Cross Reference: /hets/CspCASL/test/tcs1.cspcasl

Cross Reference: tcs1.cspcasl

xref: /hets/CspCASL/test/tcs1.cspcasl

Home
History
Annotate
Line#
Navigate
Download
only in ./

tcs1.cspcasl revision 4eaeba586d49aa0761ee2bb6d20efba91562cef6

data sorts S, T

ops c: S; d: T

process c -> SKIP || d -> SKIP

Indexes created Tue Jul 24 14:28:13 CEST 2018