CspCASL/test/tcs4.testcase

d40dd10adffcf341489a1310092fcc99de75f225Andy Gimbletttcs4.cspcasl
d40dd10adffcf341489a1310092fcc99de75f225Andy GimblettCoreCspCASL
d40dd10adffcf341489a1310092fcc99de75f225Andy Gimblett++
d40dd10adffcf341489a1310092fcc99de75f225Andy Gimblettdata sorts A, B, C < S
d40dd10adffcf341489a1310092fcc99de75f225Andy Gimblett     ops   a : A;
d40dd10adffcf341489a1310092fcc99de75f225Andy Gimblett           b1, b2 : B;
d40dd10adffcf341489a1310092fcc99de75f225Andy Gimblett           c : C;
d40dd10adffcf341489a1310092fcc99de75f225Andy Gimblett           f : A ->? A;
d40dd10adffcf341489a1310092fcc99de75f225Andy Gimblett           g : C ->? C
d40dd10adffcf341489a1310092fcc99de75f225Andy Gimblett     . a = b1
d40dd10adffcf341489a1310092fcc99de75f225Andy Gimblett     . b2 = c
d40dd10adffcf341489a1310092fcc99de75f225Andy Gimblett     . forall x : A . not def f(x)
d40dd10adffcf341489a1310092fcc99de75f225Andy Gimblett     . forall x : C . not def g(x)
d40dd10adffcf341489a1310092fcc99de75f225Andy Gimblettprocess f(a) -> SKIP || g(c) -> SKIP
d40dd10adffcf341489a1310092fcc99de75f225Andy Gimblettend