Tests by plug feature Record; CLI Option: -workers 1

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

Index

Tests by plug feature Record; CLI Option: -workers 1