Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
22e9c43ba9d033366f88556260faded9d4b2a847 | Apalache | Eq | Record | True | Passed | |
e4a24ad2e44fc2b1a9e947e62b2adc92cc759ba9 | Apalache | Eq | Record | False | Passed | |
9422f04df46f9e735cbebcddecafbe96fdab0fee | Apalache | Ne | Record | True | Passed | |
eebe51dcd3973e5afb0734aa3ef09f298ea395db | Apalache | Ne | Record | False | Passed | |
9dfac4bcbe9c3449d35c9b168980126fce1e6d1c | Apalache | Let | Record | True | Passed | |
96a9b20fbe058325144acdefab4da3796cb4456a | Apalache | Let | Record | False | Passed | |
eaeeec4f1b66721a2aaf39c3c83081ed317cb061 | Apalache | Set0 | Record | True | Passed | |
8be82c045d3f2a88fee7d3efdf16ba1ec83fd4b2 | Apalache | Set0 | Record | False | Passed | |
26d92d686a1c85b4e441a3ba080629842415e3f9 | Apalache | Set1 | Record | True | Passed | |
44d6c05a8397a716986d31adaca1ef5ec5948ead | Apalache | Set1 | Record | False | Passed | |
d2d67a4e64b55f7583aca9ea2992bf39d1f9f1bc | Apalache | Set2 | Record | True | Passed | |
8a1e81eab8e52191dda7097c97d8ee79e081c1f8 | Apalache | Set2 | Record | False | Passed | |
44f7aa327ce4423bcb8c0cc38628ba51e56b3e34 | Apalache | Fun | Record | True | Passed | |
90c9711c0af5a06a06cb3d720c2617ebf3f88264 | Apalache | Fun | Record | False | Passed | |
e76811d7f98d094d75f0589750753eb1f65fb8a0 | Apalache | In | Record | True | Passed | |
797311527e7670a360f1a2a99f7b424bcf6ca31b | Apalache | In | Record | False | Passed | |
534440cbd2970aec18e5221e79c3a42f76122dfa | Apalache | NotIn | Record | True | Passed | |
4d604acc784120c62a2ef720a7cb9abfb003d5c5 | Apalache | NotIn | Record | False | Passed | |
3e848ba94cae723b5ecf2e790b7cc1627ecee079 | Apalache | Record | Record | True | Passed | |
213ad5b59c28a31ae988994e10d7b80fa69dd20f | Apalache | Record | Record | False | Passed | |
b451bed4b1c90367d80577c8fc18e3acb42ff3fd | Apalache | Tuple | Record | True | Passed | |
977580a0cf99031218005bf1fbef021e4bde4c09 | Apalache | Tuple | Record | False | Passed | |
f583f2866b57e54bb7f4da1590f7322a0622b17b | Apalache | FunApp | Record | True | Passed | |
737de45efafaf1e23261154b6e51e7c79377e1a5 | Apalache | FunApp | Record | False | Passed | |
6d14c43cbb99c3700fa16988875cabaa3f76e642 | Apalache | Except0 | Record | True | Passed | |
bc7f19984a2b98205edf1cdc7cc696f1efc0086b | Apalache | Except0 | Record | False | Passed | |
40795b2146648c593de0146fdc9db079aad87ac1 | Apalache | Except1Fun | Record | True | Passed | |
27b99f8735ff952cd24d1aa238eb1c5f3df29a94 | Apalache | Except1Fun | Record | False | Passed | |
ee5ff0b0f16b1046ed20c52c1d8ee34182a0a014 |
TLC with reduction strategy:
|
Except1FunWithAt | Record | True | Passed | |
2f756b951a49921c2747c0144cf25c63e3820959 |
TLC with reduction strategy:
|
Except1FunWithAt | Record | False | Passed | |
f565cf2e12d1534a6d0da545d5d512fe20e20a69 | Apalache | Except1Rec | Record | True | Passed | |
26e10a2e3ef91719ca01962733047de1b7b20eee | Apalache | Except1Rec | Record | False | Passed | |
ee864f7db931fd57a13f13915816063b3eb7d2dd |
TLC with reduction strategy:
|
Except1RecWithAt | Record | True | Passed | |
c73b2262ded03727c4e7bd2cb381f1fc4157eb77 |
TLC with reduction strategy:
|
Except1RecWithAt | Record | False | Passed | |
dc0664a2c2ac0ba604234f61f2e729597873a070 | Apalache | Except2Fun | Record | True | Passed | |
4d952bfd6c1b8b36250dffd1e3f6505a4cf3b1c4 | Apalache | Except2Fun | Record | False | Passed | |
72767c20198d59d8b30b9c266a0d25675713566f | Apalache | Prime | Record | True | Passed | |
b8120086fc7a4bf83deda2fc41d9c68f23e26e5f | Apalache | Prime | Record | False | Passed | |
9ed63d33ee9d5a54141a6252a87cedf8ca509fe1 | Apalache | DefFun | Record | True | Passed | |
65b5ce397aac20d536071f7b7e61d68c5fd18dff | Apalache | DefFun | Record | False | Passed | |
3d8288e870e59ecd2bed38dd0901495629dd6dcb |
TLC with reduction strategy:
|
LetDefFun | Record | True | Passed | |
272d75ab27a98192ab7a1638db92188ac1e61c2b |
TLC with reduction strategy:
|
LetDefFun | Record | False | Passed | |
a530cde849db3966af2bcd8b29c6bb43ae666ac9 | Apalache | DefFunRecursive | Record | True | Passed | |
bbdd53b6dc1871bc5895947b8c83c48eaba4a2da | Apalache | DefFunRecursive | Record | False | Passed | |
91832baaedd278fca8c3bbd97d90f3a0fa7a3011 |
TLC with reduction strategy:
|
LetDefFunRecursive | Record | True | Passed | |
c0560f0eb8cacb81c97a9140b8b700691031b7d2 |
TLC with reduction strategy:
|
LetDefFunRecursive | Record | False | Passed | |
e6173c86ffd89bd15136c437ee86b9013b1187a8 | Apalache | Def0 | Record | True | Passed | |
9d99c6ceea4620679fbfb1e61d1afe82f7346e81 | Apalache | Def0 | Record | False | Passed | |
46a02b061569509969d5655d9dc8b9678b0419f1 |
TLC with reduction strategy:
|
LetDef0 | Record | True | Passed | |
61440374d8026d10c40a0f7c87b0b5bcf0ff04e8 |
TLC with reduction strategy:
|
LetDef0 | Record | False | Passed | |
c7ddf93285d9a9c8f44dbfbabcb0f524a27cc59d | Apalache | Def1 | Record | True | Passed | |
60acf39604d66e747583a5aea4a6279a28c86116 | Apalache | Def1 | Record | False | Passed | |
1ba774e9d036a09a8e5a24231ad50fec443aa6fb |
TLC with reduction strategy:
|
LetDef1 | Record | True | Passed | |
e81736ed26a95d2f5a472da72c2fbd64c7bfb268 |
TLC with reduction strategy:
|
LetDef1 | Record | False | Passed | |
5fde76db0d2788517a7b3c83873837dd67da10d0 | Apalache | Def2 | Record | True | Passed | |
29f7c473113b4f5d85bf91988e94d74248be7120 | Apalache | Def2 | Record | False | Passed | |
0e3a87d69d748d69962b2f0fc8130e56a774f569 |
TLC with reduction strategy:
|
LetDef2 | Record | True | Passed | |
401c87da8afabf5d9a780aeccfd249e147607462 |
TLC with reduction strategy:
|
LetDef2 | Record | False | Passed | |
0f60f563acb5887dac5fd3ea854667969e0ff023 | Apalache | Def1Recursive | Record | True | Passed | |
2a978fcc25641ce3506fab63b4602c0188a2f574 | Apalache | Def1Recursive | Record | False | Passed | |
1f37d0a849181d78448c52e8debec40024565c9a |
TLC with reduction strategy:
|
LetDef1Recursive | Record | True | Passed | |
f7a24e8971e7edeadd50da6234d3aee9204ee108 |
TLC with reduction strategy:
|
LetDef1Recursive | Record | False | Passed | |
3854419efd901532dde23526370eb4a383829fbd | Apalache | Extends | Record | True | Passed | |
b1ebd05e5f5743fbf29bc4f25e7ce8fbe8527e66 | Apalache | Extends | Record | False | Passed | |
e87b2aae24a5d08e9933779ed40cab58194e38ef | Apalache | ExtendsInDifferentFolder | Record | True | Passed | |
1ad615f08b328f014df7dea46eeb748a0c48daf4 | Apalache | ExtendsInDifferentFolder | Record | False | Passed | |
b111614210cd769ae834ae7d91c2ee005f647cf3 | Apalache | Variable | Record | True | Passed | |
6d2ad4e5c1d60714d328c14daaeb633db94feaa6 | Apalache | Variable | Record | False | Passed | |
807eac17858fc4601f8fd533b3c78c8f4ab5074a |
TLC with reduction strategy:
|
VariableViewExclude | Record | True | Passed | |
c73f31b9502e9392f3246ab45cf86b2d6ce03776 |
TLC with reduction strategy:
|
VariableViewExclude | Record | False | Passed | |
c498b9b1c3fbd83faeeb3d6e5891b300b1149181 | Apalache | Constant | Record | True | Passed | |
21a86834fa378ae3f5f5b6cad28211b55de0b964 | Apalache | Constant | Record | False | Passed | |
e06a96858137602afc0dd395fb4273fbbd3e2bc6 | Apalache | ConstantRank1 | Record | True | Passed | |
a058d5367e6a1a9bbf3e8b651b50f312c03f1e27 | Apalache | ConstantRank1 | Record | False | Passed | |
64e6ee7bf6c31016d00f64d7c4b30299541a6e7b | Apalache | Instance | Record | True | Passed | |
ae6cea83d60d19132e4397b8349304c6ce211e22 | Apalache | Instance | Record | False | Passed | |
2c2b31951445ebddf5db62accc6f6687a468519b | Apalache | InstanceWith | Record | True | Passed | |
7ad3f2ee42607384b02fb10de87d451a230e700b | Apalache | InstanceWith | Record | False | Passed | |
01359142f18fd7abf533f0f7756c56a474520c86 | Apalache | InstanceNamed | Record | True | Passed | |
12fc3703a37f214545069ad588f21e8a07e35989 | Apalache | InstanceNamed | Record | False | Passed | |
235dd8085b7249001e537f20d53251c5867ddc85 | Apalache | InstanceNamedWith | Record | True | Passed | |
3a09a8b0d2f509ee67c7a2eb95fa6ea355b3515e | Apalache | InstanceNamedWith | Record | False | Passed | |
d93c4a592cfc4943b25582d0a804e33e7ef15f2f | Apalache | InstanceInFolder | Record | True | Passed | |
70323bb015ae2cf6490d38e84588f1b79192eeaa | Apalache | InstanceInFolder | Record | False | Passed | |
3e0f5bc9be96f4e87aca82d37cc4740f79afd75f | Apalache | InstanceWithInFolder | Record | True | Passed | |
55f60d1c3cd079aa3abf41673f4202fc047926ad | Apalache | InstanceWithInFolder | Record | False | Passed | |
de58db19d369c5fd3280a8212e5024c6e924007e | Apalache | InstanceNamedInFolder | Record | True | Passed | |
a1e1cbc0b6ac90f2653b605d2ecb2485b09838f4 | Apalache | InstanceNamedInFolder | Record | False | Passed | |
47b045e3f84096687d200641d5582df65211c30c | Apalache | InstanceNamedWithInFolder | Record | True | Passed | |
d2701f55d9c016cd2200333f8b2bd549cb3c996d | Apalache | InstanceNamedWithInFolder | Record | False | Passed | |
c2148e1070e84860a6e477cc52f1770ed5975b2e | Apalache | Lambda | Record | True | Passed | |
0b4f2e07d2ade199f863843227aed14cb065bc54 | Apalache | Lambda | Record | False | Passed | |
981525c0bc1b923b4dbe1fea08b84bf791d19e00 | Apalache | IfThen | Record | True | Passed | |
223f3e42939f04fea306adab044b6809f680fed9 | Apalache | IfThen | Record | False | Passed | |
0f792d42e0966210ae48651adc8e4caaf2ffb62f | Apalache | IfElse | Record | True | Passed | |
ae38c85cdb70be95e72feff31f6fcf4682d8c47c | Apalache | IfElse | Record | False | Passed | |
ddba1b51cc626c14ccb75cb5db28e6280950d72b | Apalache | Unchanged | Record | True | Passed | |
4d28427625d1c6c01aa0368dc3c2de5f1e235af6 | Apalache | Unchanged | Record | False | Passed | |
50db38cacd3205c5a1b72072a7163bc2314eb10e |
TLC with reduction strategy:
|
TlcSingletonFun | Record | True | Passed | |
27af4338bce2dae759774c79bd701826456e0dae |
TLC with reduction strategy:
|
TlcSingletonFun | Record | False | Passed | |
59530bca615fc7e22e2e90cd44c1ad5e99f34fa4 |
TLC with reduction strategy:
|
TlcEval | Record | True | Passed | |
9414575a6b4b61b97a38a628cb68da817d23293b |
TLC with reduction strategy:
|
TlcEval | Record | False | Passed | |
05a78610aecd12694c116b13b0b8d73123b9e35c | Apalache | BagBagIn | Record | True | Passed | |
a7e44b92532cef0fd9dd33fb5fa1c2ff7cc8719f | Apalache | BagBagIn | Record | False | Passed | |
754fcb8fbb2a61d87a0be929be062ec88dcc32a2 | Apalache | BagCopiesIn | Record | True | Passed | |
e515311532f73e6fb7b810fedd267fe9382a413a | Apalache | BagCopiesIn | Record | False | Passed | |
e69d54c323ace67151e5990d06dbc387fa020e12 | Apalache | SeqAppend | Record | True | Passed | |
758a8777d3d76f59165ff640187ab7323ee52cd7 | Apalache | SeqAppend | Record | False | Passed |