Cross Reference: tcs1.testcase
xref: /hets/CspCASL/test/tcs1.testcase
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
2cf5a456da8bb3a2bbb695414d8304426e3bd277Andy Gimbletttcs1.cspcasl
2cf5a456da8bb3a2bbb695414d8304426e3bd277Andy GimblettCoreCspCASL
2cf5a456da8bb3a2bbb695414d8304426e3bd277Andy Gimblett++
c01168f53431b6ad785bf8a8b12bd3a60b93b9b4Andy Gimblettccspec tcs1
2cf5a456da8bb3a2bbb695414d8304426e3bd277Andy Gimblettdata sorts S, T
2cf5a456da8bb3a2bbb695414d8304426e3bd277Andy Gimblett ops c : S;
2cf5a456da8bb3a2bbb695414d8304426e3bd277Andy Gimblett d : T
2cf5a456da8bb3a2bbb695414d8304426e3bd277Andy Gimblettprocess c -> SKIP || d -> SKIP
2cf5a456da8bb3a2bbb695414d8304426e3bd277Andy Gimblettend

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