From 503bdb5bbfe48ab80655dfd611b95c0139acdd7c Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 19 Aug 2011 17:42:33 +0200 Subject: [PATCH] Adjust kind.test Adjust after the change of 2011-05-23. * src/ltltest/kind.test: More pure eventualities and purely universal properties are detected. --- src/ltltest/kind.test | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/src/ltltest/kind.test b/src/ltltest/kind.test index c1e61d7ad..4ea1d9af2 100755 --- a/src/ltltest/kind.test +++ b/src/ltltest/kind.test @@ -84,19 +84,19 @@ check '{a;c|d;b}<>->!FGb' '&xPr' check '{a:b:c:d}!' 'B&!xfLEPSFsgopr' # Equivalent to a&b&c&d check 'a&b&c&d' 'B&!xfLEPSFsgopr' check '(Xa <-> XXXc) U (b & Fe)' 'LPgopr' -check '(!X(a|X(!b))&(FX(g xor h)))U(!G(a|b))' 'LPgopr' -check '(!X(a|X(!b))&(GX(g xor h)))R(!F(a|b))' 'LPsopr' -check '(!X(a|X(!b))&(GX(g xor h)))U(!G(a|b))' 'LPopr' -check '(!X(a|X(!b))&(FX(g xor h)))R(!F(a|b))' 'LPopr' +check '(!X(a|X(!b))&(FX(g xor h)))U(!G(a|b))' 'LPegopr' +check '(!X(a|X(!b))&(GX(g xor h)))R(!F(a|b))' 'LPusopr' +check '(!X(a|X(!b))&(GX(g xor h)))U(!G(a|b))' 'LPeopr' +check '(!X(a|X(!b))&(FX(g xor h)))R(!F(a|b))' 'LPuopr' check '(!X(a|X(!b))&(GX(g xor h)))U(!F(a|b))' 'LPp' check '(!X(a|X(!b))&(FX(g xor h)))R(!G(a|b))' 'LPr' check '(!X(a|GXF(!b))&(FGX(g xor h)))U(!F(a|b))' 'LPp' -check '(!X(a|GXF(!b))&(FGX(g xor h)))R(!F(a|b))' 'LPp' +check '(!X(a|GXF(!b))&(FGX(g xor h)))R(!F(a|b))' 'LPup' check '(!X(a|FXG(!b))&(GFX(g xor h)))R(!G(a|b))' 'LPr' -check '(!X(a|FXG(!b))&(GFX(g xor h)))U(!G(a|b))' 'LPr' -check '(!X(a|GXF(!b))&(FGX(g xor h)))U(!G(a|Fb))' 'LPp' +check '(!X(a|FXG(!b))&(GFX(g xor h)))U(!G(a|b))' 'LPer' +check '(!X(a|GXF(!b))&(FGX(g xor h)))U(!G(a|Fb))' 'LPep' check '(!X(a|GXF(!b))&(FGX(g xor h)))U(!F(a|Gb))' 'LP' -check '(!X(a|FXG(!b))&(GFX(g xor h)))R(!F(a|Gb))' 'LPr' +check '(!X(a|FXG(!b))&(GFX(g xor h)))R(!F(a|Gb))' 'LPur' check '(!X(a|FXG(!b))&(GFX(g xor h)))R(!G(a|Fb))' 'LP' check 'GFa M GFb' '&!xLPeu' check 'FGa M FGb' '&!xLPeup'