Cross Reference: tcs2.testcase
xref: /hets/CspCASL/test/tcs2.testcase
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
tcs2.testcase revision d40dd10adffcf341489a1310092fcc99de75f225
0992b212df8eec8af18e1c208da54897021964c4Christian Maedertcs2.cspcasl
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens ElknerCoreCspCASL
0992b212df8eec8af18e1c208da54897021964c4Christian Maeder++
0992b212df8eec8af18e1c208da54897021964c4Christian Maederdata sort S < T
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu Prodescu ops c : S;
0992b212df8eec8af18e1c208da54897021964c4Christian Maeder d : T
0992b212df8eec8af18e1c208da54897021964c4Christian Maeder . c = d
0992b212df8eec8af18e1c208da54897021964c4Christian Maederprocess c -> SKIP || d -> SKIP
0992b212df8eec8af18e1c208da54897021964c4Christian Maederend

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