alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Adjust kind.test Adjust after the change of 2011-05-23.

Browse source 
* src/ltltest/kind.test: More pure eventualities and purely
universal properties are detected.
This commit is contained in:
Alexandre Duret-Lutz 2011-08-19 17:42:33 +02:00
parent aa5c2f606b
commit 503bdb5bbf
1 changed files with 8 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

16
src/ltltest/kind.test
View file

@ -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'