Index

Tests by case feature Equivalence; CLI Option: -workers 1

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
60d13611912e70b64277d4cbd801c70569979f58 TLC with reduction strategy:
  • Plug Feature: Replace spec with the same without comments
Equivalence OneLineComment True Passed
97dcbfaf9d643ba859b4e6190846c3aac5c52f50 TLC with reduction strategy:
  • Plug Feature: Replace spec with the same without comments
Equivalence OneLineComment False Passed
b58e579ec875297c52a5ddd71e616f66e1205684 TLC with reduction strategy:
  • Plug Feature: Replace spec with the same without comments
Equivalence MultiLineComment True Passed
c98a3960cd6d85701250820ba5e1dd61ef529e6b TLC with reduction strategy:
  • Plug Feature: Replace spec with the same without comments
Equivalence MultiLineComment False Passed
286685a27e0dc34ea3627d7573e7c0d79c60680c Apalache Equivalence BoolTrue True Passed
c0bc188fbe16d9bcce9e9920034a5b2579fdea1b Apalache Equivalence BoolTrue False Passed
557626860ef46ec7a7076a354d09b25fabecfe30 Apalache Equivalence BoolFalse True Passed
90cbc98d1426fdab82d2a8ba594d4a7255344e83 Apalache Equivalence BoolFalse False Passed
e02c41c9b3790c43c1dc5df07e2294a23544e9c4 Apalache Equivalence And True Passed
1d9be6eb480fd48a6a73846168beda9708886609 Apalache Equivalence And False Passed
ace6d76ed1d26598a5d1b8feca21db2b45703d2b TLC with reduction strategy:
  • Plug Feature:
    /\ A
    /\ B
    == (A /\ B)
Equivalence AndMultiLine True Passed
dcc2ad6b2e66aa7f6b810fc1f06109d59cd5e938 TLC with reduction strategy:
  • Plug Feature:
    /\ A
    /\ B
    == (A /\ B)
Equivalence AndMultiLine False Passed
b2f0e65d9d05d0b864d1b2801d5c4a22de561872 Apalache Equivalence Imply True Passed
a589942a0a2a7fe052b5b3221af37820b498ff50 Apalache Equivalence Imply False Passed
93f4e71e3e81f963325458316d0e8a0850225742 Apalache Equivalence Not True Passed
596359e670c0d2603bef29d5347eb42501a282e1 Apalache Equivalence Not False Passed
a3f33c80b4f03108dca2de1a0b788cfd1451f601 TLC with reduction strategy:
  • Plug Feature: A \/ B == ~(~A /\ ~B)
Equivalence Or True Passed
192c5b6b8cd7309659a300fb707b4546b00ac32a TLC with reduction strategy:
  • Plug Feature: A \/ B == ~(~A /\ ~B)
Equivalence Or False Passed
625fe8473a7ee013409713e58de3369706a74cf4 TLC with reduction strategy:
  • Plug Feature:
    \/ A
    \/ B
    == (A \/ B)
Equivalence OrMultiLine True Passed
cd48ad0f3829cfab94ba118230f367813cd4cdc0 TLC with reduction strategy:
  • Plug Feature:
    \/ A
    \/ B
    == (A \/ B)
Equivalence OrMultiLine False Passed
141239dba87f3a4e4bd72c1f2117732e33375542 Apalache Equivalence Eq True Passed
53e6dcb3c395dd522377abc33a082a54b09c9161 Apalache Equivalence Eq False Passed
48bd4a8429b7658ce7b09f456a6a10d67ed0c29e Apalache Equivalence Ne True Passed
acca261028a27e11d9d82fe389989835af7430c6 Apalache Equivalence Ne False Passed
2dd4ecba7b3867ec81f264736f64d9ba7c4e5186 Apalache Equivalence Let True Passed
b44ad948a1eff03467f37cb2206239be8dd08e02 Apalache Equivalence Let False Passed
c6f407b962fa3a6b4eab9706d38d15e2f10bc48b Apalache Equivalence In True Passed
5be8ca6e7903f8db6ce41995a5c6f2279d359c8a Apalache Equivalence In False Passed
828e5626794050a5429df68c2e5fe2b76e57183c Apalache Equivalence NotIn True Passed
5fbc79603196bdfa7bacdbbab477ed0a1bf124c0 Apalache Equivalence NotIn False Passed
07d89faf7f6dce89a704fd55bf9c47d175d171a0 Apalache Equivalence Exists True Passed
de2ba4fa641e5a457e6ba4215abcb11543f6b2b7 Apalache Equivalence Exists False Passed
f1e23e54e17629e36015cf72ad9daae877527a6b Apalache Equivalence Forall True Passed
9d9992416cdb757610aabc8da674d1caa3e8ffc3 Apalache Equivalence Forall False Passed
2c2d3b8acef0e24078acb378fe76c58d394aa53d Apalache Equivalence Choose True Passed
1304ea1348693cc75e80ee9ead436daf3eb57de3 Apalache Equivalence Choose False Passed
f1487128ab2e1f4a7d3f84d25645eb2a0022cfde Apalache Equivalence FunApp True Passed
5e1051133f0a4c8e61551168bb3a4e2597b5eb57 Apalache Equivalence FunApp False Passed
6f8165beae91f4a90f6ca18f490e41690682a85f Apalache Equivalence Prime True Passed
9926e38b82f247386ff4653b27fb334da007f2da Apalache Equivalence Prime False Passed
af91226b10e26f202dbb6008990aafd9bbf7f020 Apalache Equivalence NumGt True Passed
0dbe900ee8f4c69666815f371896fc62a78abca0 Apalache Equivalence NumGt False Passed
f2494a9d39310f81bb4358f23db28e4fe79d7ddd Apalache Equivalence NumGe True Passed
eef832b66d31b3a3fd5133ed440a5fd1e61d0f2f Apalache Equivalence NumGe False Passed
333d8c726942949cb3a5d73994cb2cef9c3a174e Apalache Equivalence NumLt True Passed
0c110d7b39737e177a641bbbdf052dd61106d3d5 Apalache Equivalence NumLt False Passed
a2a9f8faa7bbe30090f595fa19488e695b5d3e93 Apalache Equivalence NumLe True Passed
642978eb90264d5d3bd24ad3c220e05fc6d9d510 Apalache Equivalence NumLe False Passed
8ba4a881de6bb72f661c2c513ba9ad3dac848209 Apalache Equivalence Def0 True Passed
3e0b7542ef1e0881f3e9a02705d2faf4c20d8cd6 Apalache Equivalence Def0 False Passed
9a9242a0849a01b72e948d5ba5841276ba7321dc TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
Equivalence LetDef0 True Passed
1f59d407d6dd1ec140d459b021ba687703395e57 TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
Equivalence LetDef0 False Passed
91a3c48b73df2ddea00f855c98dc4a6b0c4bd7e2 Apalache Equivalence Def1 True Passed
8d1ef29b6987b3976407176ec28a6fdd65e5971e Apalache Equivalence Def1 False Passed
844b3f1c04f90f13d0174362c8a81dda50ec355c TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
Equivalence LetDef1 True Passed
98fb1c6788265a3810beff21260f2560f95d8282 TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
Equivalence LetDef1 False Passed
d45462ebfe2a5f1b3e3a9e6935f68fb113b865ec Apalache Equivalence Def2 True Passed
8a8da4feee826239624636cb1a22b007031c707d Apalache Equivalence Def2 False Passed
e648e56250ad67687d758f3fd8dd4241ecf8056e TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
Equivalence LetDef2 True Passed
43e0c30d81a9f2239f05f817acfc6cbf296eb326 TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
Equivalence LetDef2 False Passed
f80b9dd743bca9a3669bbda72fef35dd3e2c42a3 Apalache Equivalence Def1Recursive True Passed
da3eab18fef0b7dfca5a2d665e27b03fb08a54cc Apalache Equivalence Def1Recursive False Passed
93921b9977c76519416aa54cde06e51d0e142aff TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
Equivalence LetDef1Recursive True Passed
5f6ed5b2c3b30f600582b87cc1fc0fcf25f9df3f TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
Equivalence LetDef1Recursive False Passed
ffd4be9e0febfe6aeec8385c411509c42354850c Apalache Equivalence Extends True Passed
0bdd8c93f8efd89c284f82d4608374643dc10fda Apalache Equivalence Extends False Passed
62a9383f3421d160f60ad0d1ccfa18fb8d281ab6 Apalache Equivalence ExtendsInDifferentFolder True Passed
b9bb94f1536d293a3cede2a503bb4462fc7d44d9 Apalache Equivalence ExtendsInDifferentFolder False Passed
afb94c2bb43149db19ffc51a527ae4fa61137e1d Apalache Equivalence Variable True Passed
ca0cb0857ba3f71dd8dd14fb361094a6390593a5 Apalache Equivalence Variable False Passed
8f2c1041f2bc8231c5bfbf3bbd0ff287c1795ed6 Apalache Equivalence Constant True Passed
750c25282e2eba88508a19847b354dbc35f87db9 Apalache Equivalence Constant False Passed
d2a117eaf1ff274903c5405299f1860fbe74a38c Apalache Equivalence ConstantRank1 True Passed
c475e4e78c8735a3db4af71a0437f48cf94fe097 Apalache Equivalence ConstantRank1 False Passed
aba8f541a3d3fc73e54e091260b4403384d45b41 Apalache Equivalence Instance True Passed
ac8d8d3f0012a42a09d79f3a7f95f87c99c299fd Apalache Equivalence Instance False Passed
03e650dea2b5561dd8f094f50e3e5b2e6da4e409 Apalache Equivalence InstanceWith True Passed
d43d16c00a0551d597c987c36dedcf327854c63e Apalache Equivalence InstanceWith False Passed
0a35b085baae594b6c12df483d9265a37332ce38 Apalache Equivalence InstanceNamed True Passed
e90fa0eedec883a379ed34193f8920adc1d59114 Apalache Equivalence InstanceNamed False Passed
5e17ecfb317a8b548afd81792ec5527b33da9700 Apalache Equivalence InstanceNamedWith True Passed
8b7bd9c894c5ff1c1a2801c462d6b1c616cec133 Apalache Equivalence InstanceNamedWith False Passed
68fa67e77564996c29ef40c758db7c2aa689145b Apalache Equivalence InstanceInFolder True Passed
5acfb3bda2efbde08eae9738daab627152298239 Apalache Equivalence InstanceInFolder False Passed
e3644546586c5f7d0d9748546b516e95afcb9418 Apalache Equivalence InstanceWithInFolder True Passed
3a636935ab2dc4295b37399e1cdc9aa02f2188bc Apalache Equivalence InstanceWithInFolder False Passed
19b06f75923194a344cfef7310d9461c785fa4bb Apalache Equivalence InstanceNamedInFolder True Passed
f9c03dd2b586210e602ffba3ab790f03a6a0f6b2 Apalache Equivalence InstanceNamedInFolder False Passed
341fdfac386fa5075b887cbd99aa7ee915f6f9ef Apalache Equivalence InstanceNamedWithInFolder True Passed
3e02a585c8882e1cac2ed27f423d719a93f79106 Apalache Equivalence InstanceNamedWithInFolder False Passed
e0b05b6ee0a988f4c5f41f322a8c94d6eb3576ce Apalache Equivalence Enabled True Passed
e6370594eabd05d81590a263c47ca913e3da4c6d Apalache Equivalence Enabled False Passed
99b3766ccb2bb736ead0c99af168cc3d9e914c48 Apalache Equivalence SubsetEq True Passed
2505d706a0411efe02631fb5d72e1486235520b3 Apalache Equivalence SubsetEq False Passed
6c61a567c219702fa1909206d9fafb27cfec2fd6 Apalache Equivalence IfCond True Passed
107da1b4cd5a89cd2416b185f888e8da942b8678 Apalache Equivalence IfCond False Passed
32b19f8e9f26f0f0fcad69adac639ec865fac4e4 Apalache Equivalence IfThen True Passed
07c718d4fa2cca6c68d57c562a4d001d08c846de Apalache Equivalence IfThen False Passed
e631ea5eac0f2f3d146fafb3936ad54466c8f5e9 Apalache Equivalence IfElse True Passed
f77f354656eab19274ea666dbbbad023b60d9b04 Apalache Equivalence IfElse False Passed
80f4236c53566e4a2e727ef73df3ddc1b0de765e Apalache Equivalence Unchanged True Passed
65dbb870255a4baf3393d781ecc4f64e63760f1c Apalache Equivalence Unchanged False Passed
6356f9a8cda9155773e9d86dc126f6caa406f854 Apalache Equivalence Equivalence True Passed
2a93779ed53f5e1f1c9a4a82b73498b5a21a2b7a Apalache Equivalence Equivalence False Passed
360e60859e381eb1b49275324ceadd0b2eb6f8ac TLC with reduction strategy:
  • Plug Feature: TLCEval(expr) is reduced to just expr
Equivalence TlcEval True Passed
956722c9c239be1689c93879909d9e3d84d710e7 TLC with reduction strategy:
  • Plug Feature: TLCEval(expr) is reduced to just expr
Equivalence TlcEval False Passed
5ac5a681b18aa05a52d481741caac4aae83c76d9 Apalache Equivalence BagBagIn True Passed
82f978d3bf598d11c144197e6e82ad3576a182a3 Apalache Equivalence BagBagIn False Passed
4f22f77cdbabd3ad4ab85a8dc1cca5db1752795e Apalache Equivalence BagSubsetEqBag True Passed
2bd44cbdd34711b5af65f82b1377fe3ccd80f78b Apalache Equivalence BagSubsetEqBag False Passed
d180adbd06bd5ba1e7a04be3a3d1108690423017 TLC with reduction strategy:
  • Plug Feature: IsFiniteSet(B) is reduced to either TRUE or FALSE, depending on type information (finite and infinite sets have different types)
Equivalence FiniteSetsIsFiniteSet True Passed
add6b46e22e133acb832de4479f9c8190d1d2adc TLC with reduction strategy:
  • Plug Feature: IsFiniteSet(B) is reduced to either TRUE or FALSE, depending on type information (finite and infinite sets have different types)
Equivalence FiniteSetsIsFiniteSet False Passed
143ea9b989a626d5aa4487e2d5ec6ac51ddff6f0 Apalache Equivalence SeqHead True Passed
95442647bb3c84289d4ea28ea83933e643b47909 Apalache Equivalence SeqHead False Passed