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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
e193a250d1d84a1c35d4470aa1a026417afb9150	Apalache	And	Eq	True	Passed	Model Under Test Equivalent Model
9b2c0571ea4d727eae26fa9011ed98ae5ac35839	Apalache	And	Eq	False	Passed	Model Under Test Equivalent Model
acdceabb0555a7dba2c3e820021801563a1478bf	TLC with reduction strategy: Case Feature: /\ A /\ B == (A /\ B)	AndMultiLine	Eq	True	Passed	Model Under Test Equivalent Model
88f211f367bdc2c0773e80761332e649b6528850	TLC with reduction strategy: Case Feature: /\ A /\ B == (A /\ B)	AndMultiLine	Eq	False	Passed	Model Under Test Equivalent Model
c0d4209212022b0c0a7b1fe96c293c2eb5b39ba5	Apalache	Imply	Eq	True	Passed	Model Under Test Equivalent Model
d374e8c6fda910f814aac2e538496ebd5f07b4a3	Apalache	Imply	Eq	False	Passed	Model Under Test Equivalent Model
e8754ffc8b6aa5ea08cf6bfc9c7bac7f56b5f320	Apalache	Not	Eq	True	Passed	Model Under Test Equivalent Model
4e6ac30ea701146d704af57a3d8dc7be7bbc0952	Apalache	Not	Eq	False	Passed	Model Under Test Equivalent Model
ad84d5ecc159c2c16f2678016b905e71bfd34604	TLC with reduction strategy: Case Feature: A \/ B == ~(~A /\ ~B)	Or	Eq	True	Passed	Model Under Test Equivalent Model
0f984746802ef92e6c06afdc7ffdabd200ed1799	TLC with reduction strategy: Case Feature: A \/ B == ~(~A /\ ~B)	Or	Eq	False	Passed	Model Under Test Equivalent Model
42e616b70214e817310cc38ffe786c41444a0ba0	TLC with reduction strategy: Case Feature: \/ A \/ B == (A \/ B)	OrMultiLine	Eq	True	Passed	Model Under Test Equivalent Model
c6b2016b9c4867b16e8170c27716a92ded38f3c2	TLC with reduction strategy: Case Feature: \/ A \/ B == (A \/ B)	OrMultiLine	Eq	False	Passed	Model Under Test Equivalent Model
323026ced96d63cff02b753025d9f1968b87b428	Apalache	AndProp	Eq	True	Passed	Model Under Test Equivalent Model
cd81efff89c4cabe70c5c47736558b0259bfe4ba	Apalache	AndProp	Eq	False	Passed	Model Under Test Equivalent Model
2852d4672fbbbc58463216c51c39b5632460d80e	Apalache	Boxed	Eq	True	Passed	Model Under Test Equivalent Model
f51f9aea340264bd12e2cb37f1277dd478368208	Apalache	Boxed	Eq	False	Passed	Model Under Test Equivalent Model
1544af60aa50630d850f07faeb0190982b7b7124	Apalache	Eq	Eq	True	Passed	Model Under Test Equivalent Model
fded8a3b4a9b663e5287156e0c4e447089c06829	Apalache	Eq	Eq	False	Passed	Model Under Test Equivalent Model
18600d469ce3e8c7129880d504486fb727f243c7	Apalache	Ne	Eq	True	Passed	Model Under Test Equivalent Model
784dac58080a193be713b0cfa2cc67112e1560c4	Apalache	Ne	Eq	False	Passed	Model Under Test Equivalent Model
2ed391362fa8262b533c40a83e4958c16ff8d7ee	Apalache	Let	Eq	True	Passed	Model Under Test Equivalent Model
af8417db8fb598f2645f064a5e891adf4bfeadce	Apalache	Let	Eq	False	Passed	Model Under Test Equivalent Model
8be88f8a832e4b494790fac1ceda01781748751e	Apalache	Set0	Eq	True	Passed	Model Under Test Equivalent Model
2a1cfbb316fd79367f8954142e6c79781e564331	Apalache	Set0	Eq	False	Passed	Model Under Test Equivalent Model
e7b041dc621d169298553348bd3b80dc3e455566	Apalache	Set1	Eq	True	Passed	Model Under Test Equivalent Model
42aa8932ba2149cbfce3d43143f6719082d2882f	Apalache	Set1	Eq	False	Passed	Model Under Test Equivalent Model
6d804f73c3a5f911f982bac2b069f0ab9edf68b7	Apalache	Set2	Eq	True	Passed	Model Under Test Equivalent Model
95b347204986f996bd4e769d9c12e433460ec212	Apalache	Set2	Eq	False	Passed	Model Under Test Equivalent Model
4dc0c7092e87f84c369c34f4b6ca2ab43e28263a	Apalache	Fun	Eq	True	Passed	Model Under Test Equivalent Model
8b24fdb62513e7a7425a287fc4e67a62e566b728	Apalache	Fun	Eq	False	Passed	Model Under Test Equivalent Model
2c97f93cda295d21924a73e1a5cb47c5b3299517	Apalache	In	Eq	True	Passed	Model Under Test Equivalent Model
83d194b1e0960f33d17af10bfa736b58ec0f0697	Apalache	In	Eq	False	Passed	Model Under Test Equivalent Model
0afaea84d1ae19a8dd8a69f53c942318875762e5	Apalache	NotIn	Eq	True	Passed	Model Under Test Equivalent Model
f85cf2f727574a505f332e47c0c52dbddd0f73e0	Apalache	NotIn	Eq	False	Passed	Model Under Test Equivalent Model
688ac68ae5f77aa869aadfc6e0d602a994919ae6	Apalache	Exists	Eq	True	Passed	Model Under Test Equivalent Model
8ce1670fc48d4e2fecd49597607e8941f078c190	Apalache	Exists	Eq	False	Passed	Model Under Test Equivalent Model
3bed658b78268fea2928d6e3f8e5cf8c3b6659f9	Apalache	Forall	Eq	True	Passed	Model Under Test Equivalent Model
5c76f77e64f00e0001391f52ad0e8c76ca08e27a	Apalache	Forall	Eq	False	Passed	Model Under Test Equivalent Model
b9c1771e458692bc8c769ca93f04ee01ee273345	Apalache	Choose	Eq	True	Passed	Model Under Test Equivalent Model
5e85f9a706cc4f526f2b9bfec6b7aef1b9791255	Apalache	Choose	Eq	False	Passed	Model Under Test Equivalent Model
38009ac7e116ccfa1c01ae825f7396f13ca133a7	Apalache	Record	Eq	True	Passed	Model Under Test Equivalent Model
b8be198509c2107baf800e5e919a82cc091c2d0e	Apalache	Record	Eq	False	Passed	Model Under Test Equivalent Model
af4a3599fb50cffa9ca94cb3560cd629d9430fdc	Apalache	Tuple	Eq	True	Passed	Model Under Test Equivalent Model
8beb62fe934a7f6b64d01aa70486e5d10455f29f	Apalache	Tuple	Eq	False	Passed	Model Under Test Equivalent Model
15faf7a7809b1a9da565998da2e87ec3d8d31677	Apalache	FunApp	Eq	True	Passed	Model Under Test Equivalent Model
8fd3d412b11409854be6e399dadcfbc0383bdb9f	Apalache	FunApp	Eq	False	Passed	Model Under Test Equivalent Model
3b090b08c143d8014ca8a2660b1a4a5afa612085	Apalache	Except1Fun	Eq	True	Passed	Model Under Test Equivalent Model
eccd60ebc5be9410b560c61a9717a7382a60dade	Apalache	Except1Fun	Eq	False	Passed	Model Under Test Equivalent Model
248756576d0a059c71a4ed5f0a16126bd9ae2b93	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Eq	True	Passed	Model Under Test Equivalent Model
55c4df7fb19b094e50f5cee63a01bf4cd225ae60	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	Eq	False	Passed	Model Under Test Equivalent Model
09ddb70fb7931a9d7367997ff16fa581be2fe231	Apalache	Except1Rec	Eq	True	Passed	Model Under Test Equivalent Model
a9c12bb016884091855ede6a45d218d3e8ead95b	Apalache	Except1Rec	Eq	False	Passed	Model Under Test Equivalent Model
240d1576fb3c232baf343b764146a15ffc14f5af	TLC with reduction strategy: Case Feature: @ is reduced to F.arg	Except1RecWithAt	Eq	True	Passed	Model Under Test Equivalent Model
72dda7ce84ef9b478aa586134bace9d970096863	TLC with reduction strategy: Case Feature: @ is reduced to F.arg	Except1RecWithAt	Eq	False	Passed	Model Under Test Equivalent Model
522aba5c2696f8c0e11baf939ca4043e40fba420	Apalache	Except2Fun	Eq	True	Passed	Model Under Test Equivalent Model
842d6241903f0001a12527ab340b2e07dccc395e	Apalache	Except2Fun	Eq	False	Passed	Model Under Test Equivalent Model
1478e79f54daef4780775ade744c2a652a35663f	Apalache	Prime	Eq	True	Passed	Model Under Test Equivalent Model
922e961910972a55811584bdbcbfaa1fefb84125	Apalache	Prime	Eq	False	Passed	Model Under Test Equivalent Model
75eca5dbffd6ad298aea818081b7f0b7d364eeba	Apalache	DefFun	Eq	True	Passed	Model Under Test Equivalent Model
fdc733bf0510269d0f68b65ba33380dd347ef0ce	Apalache	DefFun	Eq	False	Passed	Model Under Test Equivalent Model
f64606b534edf76148c157412836ff0b90891f89	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFun	Eq	True	Passed	Model Under Test Equivalent Model
4331ac87826b259c0bf08d62ea1c49165f7da138	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFun	Eq	False	Passed	Model Under Test Equivalent Model
525c9b34889a6b60fe205357fb2ddd0bfd735fca	Apalache	DefFunRecursive	Eq	True	Passed	Model Under Test Equivalent Model
3892e7347d198df2792c37605166c00344e46206	Apalache	DefFunRecursive	Eq	False	Passed	Model Under Test Equivalent Model
0a27db658696b9fcb831955d7ad4ce02d2bc4065	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunRecursive	Eq	True	Passed	Model Under Test Equivalent Model
2c12fff416ee3a3c062ca1f0c41ac462daa8c671	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunRecursive	Eq	False	Passed	Model Under Test Equivalent Model
79d1a53f91a56156dcb75118e08c93f49762e9cb	Apalache	Def0	Eq	True	Passed	Model Under Test Equivalent Model
935939b10d97385eb8eab7ea271bc664b6f011b2	Apalache	Def0	Eq	False	Passed	Model Under Test Equivalent Model
5ffda0770366c85b6b78396eca3b272384eed95b	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef0	Eq	True	Passed	Model Under Test Equivalent Model
266cb47c07926770e8190b53398d03df2e5acf35	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef0	Eq	False	Passed	Model Under Test Equivalent Model
0c61d7ed4fcd4d16ee042cd23aa31d1cb8756eda	Apalache	Def1	Eq	True	Passed	Model Under Test Equivalent Model
2c2c2f8c153fb9d2033742893a6d1d3fa7f9f7df	Apalache	Def1	Eq	False	Passed	Model Under Test Equivalent Model
f3221eaaacbefa4305359651cf0aa5f0399dd17e	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1	Eq	True	Passed	Model Under Test Equivalent Model
a06f07cc96ea67303db199a9053c05ada4b46ad1	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1	Eq	False	Passed	Model Under Test Equivalent Model
75241bc808d9c9c561a9b5af5261a0660bbfb2c9	Apalache	Def2	Eq	True	Passed	Model Under Test Equivalent Model
dcc0eeac153577e76b0521abcb66e8ce7cb842c9	Apalache	Def2	Eq	False	Passed	Model Under Test Equivalent Model
a89d3153f4763e22bc0cb440f13eac554c462dcf	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef2	Eq	True	Passed	Model Under Test Equivalent Model
4dc329644837ae1c1e89d3b5309b870b1b21f261	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef2	Eq	False	Passed	Model Under Test Equivalent Model
ec5f1edf5156b09747a4f67df7c976961abdcb31	Apalache	Def1Recursive	Eq	True	Passed	Model Under Test Equivalent Model
d119d9ccac3dd10ade19e785f4bda997110e23c2	Apalache	Def1Recursive	Eq	False	Passed	Model Under Test Equivalent Model
e0d2a8701894a8df9b268a0ac9b73be9de172113	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1Recursive	Eq	True	Passed	Model Under Test Equivalent Model
92d4cbb068530c5aac68c18449762b7558d8ec37	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1Recursive	Eq	False	Passed	Model Under Test Equivalent Model
21744d92c1fc76e2617e966908652de16f7abec6	Apalache	Extends	Eq	True	Passed	Model Under Test Equivalent Model
5e0b4fc63d2dade4aea9beef7e423c845ee1205d	Apalache	Extends	Eq	False	Passed	Model Under Test Equivalent Model
af905c6b639f5353adf7010c967dbff35380e984	Apalache	ExtendsInDifferentFolder	Eq	True	Passed	Model Under Test Equivalent Model
2da77d5d1bbdeb1c4524ca6a18d1cdf78637fb40	Apalache	ExtendsInDifferentFolder	Eq	False	Passed	Model Under Test Equivalent Model
4df21a10a1ea6ad141f6f904211acdf1df021c22	Apalache	Variable	Eq	True	Passed	Model Under Test Equivalent Model
a716f14e9631a52d92ec1395765d35d262c7d84e	Apalache	Variable	Eq	False	Passed	Model Under Test Equivalent Model
436d49ad49ff28fa2ac796ff34cd2d967da10130	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Eq	True	Passed	Model Under Test Equivalent Model
f79a95c33d86035bfa63c1e10b056773ecafbb05	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	Eq	False	Passed	Model Under Test Equivalent Model
51823473629f3815b382bbd624c0a0c3ad0ca75a	Apalache	Constant	Eq	True	Passed	Model Under Test Equivalent Model
1157387e2e27b35d41d3ec15133262d8304df413	Apalache	Constant	Eq	False	Passed	Model Under Test Equivalent Model
312ef687aa998afe4d6ab67a64ba423130751d04	Apalache	ConstantRank1	Eq	True	Passed	Model Under Test Equivalent Model
6f451a7f0d00409d80e9f15d23f345dbf55ac903	Apalache	ConstantRank1	Eq	False	Passed	Model Under Test Equivalent Model
bceff5f7140e68afbd43ea0e874a555edc7a10f4	Apalache	Instance	Eq	True	Passed	Model Under Test Equivalent Model
cdda85df6c7e7f3db11c0c46cec6fb37ded0da42	Apalache	Instance	Eq	False	Passed	Model Under Test Equivalent Model
99c93c7f71423c7d5b25e8db86b06827b53a99db	Apalache	InstanceWith	Eq	True	Passed	Model Under Test Equivalent Model
78f6bb5fa56a012db5b30685c5876ac8917186bf	Apalache	InstanceWith	Eq	False	Passed	Model Under Test Equivalent Model
da06718cf290b80a6021540ff5fb2c6b778103c9	Apalache	InstanceNamed	Eq	True	Passed	Model Under Test Equivalent Model
57c4278ff3232ce54624adad84c044b7351057a4	Apalache	InstanceNamed	Eq	False	Passed	Model Under Test Equivalent Model
96b31aaef89376c49040e26dfaaf2b2d4c080138	Apalache	InstanceNamedWith	Eq	True	Passed	Model Under Test Equivalent Model
e3bf24f50d625e8fc19bd2a3d379360ed0fc5aff	Apalache	InstanceNamedWith	Eq	False	Passed	Model Under Test Equivalent Model
d3785c9298b15d3897929ca93ea716fcb0f3f613	Apalache	InstanceInFolder	Eq	True	Passed	Model Under Test Equivalent Model
b253492b514a7f114e6eb1138ac0a25f83386955	Apalache	InstanceInFolder	Eq	False	Passed	Model Under Test Equivalent Model
e6c9589ed43347ff0e4d413067a9019ce20b98d0	Apalache	InstanceWithInFolder	Eq	True	Passed	Model Under Test Equivalent Model
b360cbdb7314def9c12004614c0e73b46410cdf1	Apalache	InstanceWithInFolder	Eq	False	Passed	Model Under Test Equivalent Model
26f329494bbebda46269c10f6ab0d371db7275de	Apalache	InstanceNamedInFolder	Eq	True	Passed	Model Under Test Equivalent Model
967888722d3831ea7a4a7d578bd468a653744bd1	Apalache	InstanceNamedInFolder	Eq	False	Passed	Model Under Test Equivalent Model
41ba97f96a477a196beb36c4e5abaa0ec1c009a8	Apalache	InstanceNamedWithInFolder	Eq	True	Passed	Model Under Test Equivalent Model
540d0c089679b730b32d470ed4a34a007974f585	Apalache	InstanceNamedWithInFolder	Eq	False	Passed	Model Under Test Equivalent Model
27f472e093c8a635e3e4390daf7cb786cc269747	Apalache	Enabled	Eq	True	Passed	Model Under Test Equivalent Model
8657dd6d24a934fa4741c759a9aa5ae083abab65	Apalache	Enabled	Eq	False	Passed	Model Under Test Equivalent Model
f5c7f8fbe4822a54911188e408ae2371d0783785	Apalache	Assume	Eq	True	Passed	Model Under Test Equivalent Model
cf155353f4bf4543868f88a8aa0a21987f554f29	Apalache	Assume	Eq	False	Passed	Model Under Test Equivalent Model
41486767ca7fc9d74b451c406723534fc3c80b85	Apalache	AssumeNamed	Eq	True	Passed	Model Under Test Equivalent Model
423a60776e806731ad443d691ca5c339f11ba361	Apalache	AssumeNamed	Eq	False	Passed	Model Under Test Equivalent Model
6f6bc9d9e74963b03c2eeba8bedfd12e348b721c	Apalache	Lambda	Eq	True	Passed	Model Under Test Equivalent Model
7321a06c816ecda5c3e5847a4d3fecfe4d7fde0e	Apalache	Lambda	Eq	False	Passed	Model Under Test Equivalent Model
6bea2bda286eaa7522212519a2e1dd8e72ef5a3e	Apalache	IfCond	Eq	True	Passed	Model Under Test Equivalent Model
0c7c4accdd0823287642138f038264630ea36e56	Apalache	IfCond	Eq	False	Passed	Model Under Test Equivalent Model
d4d6b92ef738f7529fe6ffc5d7cddf6c1d9e96ed	Apalache	IfThen	Eq	True	Passed	Model Under Test Equivalent Model
98f34b15fa0333547528af689a1fd07b3521a02c	Apalache	IfThen	Eq	False	Passed	Model Under Test Equivalent Model
e58e6a53b91c266c1b0e16a76e2b5302106ae13e	Apalache	IfElse	Eq	True	Passed	Model Under Test Equivalent Model
c019f33c12467d6c935895120d1e17776da59ce1	Apalache	IfElse	Eq	False	Passed	Model Under Test Equivalent Model
1640384b0eb710e7c24d50ea30085a17c82b29e7	Apalache	Unchanged	Eq	True	Passed	Model Under Test Equivalent Model
fcdb3bb0b5136b6cd66df14082800aeae2447c4f	Apalache	Unchanged	Eq	False	Passed	Model Under Test Equivalent Model
141239dba87f3a4e4bd72c1f2117732e33375542	Apalache	Equivalence	Eq	True	Passed	Model Under Test Equivalent Model
53e6dcb3c395dd522377abc33a082a54b09c9161	Apalache	Equivalence	Eq	False	Passed	Model Under Test Equivalent Model
ee8e911d5572178718c8c94b33649edfbc7ea3c8	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	TlcSingletonFun	Eq	True	Passed	Model Under Test Equivalent Model
0fde6dc525cb2a80c42344a0a9f13ba90db0491e	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	TlcSingletonFun	Eq	False	Passed	Model Under Test Equivalent Model
1cbd2b0944f5448f04a3a245c0708092ad5f1c1f	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr	TlcEval	Eq	True	Passed	Model Under Test Equivalent Model
18be04031106b0feaa49c6958aca1b594b8d004e	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr	TlcEval	Eq	False	Passed	Model Under Test Equivalent Model
8b787a28400610703f7be977959caaa8af2ce813	Apalache	BagBagIn	Eq	True	Passed	Model Under Test Equivalent Model
9d4797c9ff549098177c9adef3e038f1cdd6d4da	Apalache	BagBagIn	Eq	False	Passed	Model Under Test Equivalent Model
e51e67d891739c5bd4383133199c7ec7b40f031c	Apalache	BagCopiesIn	Eq	True	Passed	Model Under Test Equivalent Model
42773645b71a928d5bc7d5395229a9b98d3e8510	Apalache	BagCopiesIn	Eq	False	Passed	Model Under Test Equivalent Model
c3df1ae6598c04fbec8a9bd21beaa145f076c05e	Apalache	SeqAppend	Eq	True	Passed	Model Under Test Equivalent Model
f94ea88219bcce8465653eb29f41f9f8eeeb7352	Apalache	SeqAppend	Eq	False	Passed	Model Under Test Equivalent Model

Index

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