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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
0df3204ded413ea2ee3bf5417bfd3b6e40b35bd3	Apalache	AndProp	AndProp	True	Passed	Model Under Test Equivalent Model
593076a7d11b76266a33b4487ee671f887e3ddee	Apalache	AndProp	AndProp	False	Passed	Model Under Test Equivalent Model
e982b296b1e2b40ff14a1bd5cb0c7b47ff7c4133	Apalache	Def0	AndProp	True	Passed	Model Under Test Equivalent Model
49063f62142b7a4a1ec3ce3e06f8faef7c7f3f21	Apalache	Def0	AndProp	False	Passed	Model Under Test Equivalent Model
cbf625d7ebd32ca51354206ea7f489ac19c209ba	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef0	AndProp	True	Passed	Model Under Test Equivalent Model
d6630e5b22bd85f14b7d037af247629cc21c42c4	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef0	AndProp	False	Passed	Model Under Test Equivalent Model
e92348a84e044ab29a1a46d7e04fb2f0cf931f79	Apalache	Def1	AndProp	True	Passed	Model Under Test Equivalent Model
2c78896c3562525053d6a2351b9212c366c2de1e	Apalache	Def1	AndProp	False	Passed	Model Under Test Equivalent Model
2112b0bba636c82d6fbe0b86194638c240586d30	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1	AndProp	True	Passed	Model Under Test Equivalent Model
312db9b5717cbea8662e5b029f351565eb5c4ce7	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1	AndProp	False	Passed	Model Under Test Equivalent Model
2f397f0fa3802908bc21ab4d0407fe3a26c15ced	Apalache	Def2	AndProp	True	Passed	Model Under Test Equivalent Model
90efe6221f398ee6d776cc94ee96246dcb7eb8c4	Apalache	Def2	AndProp	False	Passed	Model Under Test Equivalent Model
9a9813ee23635864d7d4ff91c0abb4e5c6265657	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef2	AndProp	True	Passed	Model Under Test Equivalent Model
0ecca02f55aafe32d10a9660c512d9ac59d42235	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef2	AndProp	False	Passed	Model Under Test Equivalent Model
b7281ea8a75cb8a9dede3272aa831ae367b86950	Apalache	Def1Recursive	AndProp	True	Passed	Model Under Test Equivalent Model
91a2820d5aaf07b4a0cf84b31f4b6507651c8642	Apalache	Def1Recursive	AndProp	False	Passed	Model Under Test Equivalent Model
7936dc0163ca8acc7cd24400d82b8144ef707045	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1Recursive	AndProp	True	Passed	Model Under Test Equivalent Model
d58f4527f158c2200eb3692a4b27b94d815fb765	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1Recursive	AndProp	False	Passed	Model Under Test Equivalent Model
f197aead88ecd9b6395c675756e5e8b9030d2f97	Apalache	Extends	AndProp	True	Passed	Model Under Test Equivalent Model
24d1bde564f50c84d9018953fb417644c2a53f0d	Apalache	Extends	AndProp	False	Passed	Model Under Test Equivalent Model
894f1e78aa499a1ae5e9beb04e938fb8783fba15	Apalache	ExtendsInDifferentFolder	AndProp	True	Passed	Model Under Test Equivalent Model
e31ef3bc0995699455c9531f9ff89f8af0d28711	Apalache	ExtendsInDifferentFolder	AndProp	False	Passed	Model Under Test Equivalent Model
beb7d55386ff6e9ac9f5952a9a46c671af4df63d	Apalache	Instance	AndProp	True	Passed	Model Under Test Equivalent Model
203eaa47b920ee05a7ed11dbeaf1f6468ac7b97b	Apalache	Instance	AndProp	False	Passed	Model Under Test Equivalent Model
5e1684a9a7cf0d55f68175220db0a6a0b728f460	Apalache	InstanceWith	AndProp	True	Passed	Model Under Test Equivalent Model
424509c766781063d3e95271c9f27da6d75e5ae0	Apalache	InstanceWith	AndProp	False	Passed	Model Under Test Equivalent Model
aa5bb76167f7533672dcf62dbd3551ff18ae7f1f	Apalache	InstanceNamed	AndProp	True	Passed	Model Under Test Equivalent Model
b13a3e21116677fe7b604900184c1320e3bb7039	Apalache	InstanceNamed	AndProp	False	Passed	Model Under Test Equivalent Model
fed6cd56c2bc75a3b3cdd797d23332627122c7b3	Apalache	InstanceNamedWith	AndProp	True	Passed	Model Under Test Equivalent Model
3b9371658b780b75a725ad1787cca013e32565b2	Apalache	InstanceNamedWith	AndProp	False	Passed	Model Under Test Equivalent Model
2ee7cdeb1b9ec8e59bfe7f0c7e4b1bd9e41bbab9	Apalache	InstanceInFolder	AndProp	True	Passed	Model Under Test Equivalent Model
936fbef93d84c5a808d913effe9bf4ddc45568a4	Apalache	InstanceInFolder	AndProp	False	Passed	Model Under Test Equivalent Model
17e835c2fa03a58d6e2b7ea7b167c126fdf1b378	Apalache	InstanceWithInFolder	AndProp	True	Passed	Model Under Test Equivalent Model
28ae3462624cf39f369d4f2d487a4043dd2bd3a0	Apalache	InstanceWithInFolder	AndProp	False	Passed	Model Under Test Equivalent Model
1402f48701cfbfc00165bc1b6efaca11c75f9f4e	Apalache	InstanceNamedInFolder	AndProp	True	Passed	Model Under Test Equivalent Model
1499b58cc8745ea55e922b334222af56fe166154	Apalache	InstanceNamedInFolder	AndProp	False	Passed	Model Under Test Equivalent Model
a13ab54de55c0a78afabce121fd5d9075b1795ba	Apalache	InstanceNamedWithInFolder	AndProp	True	Passed	Model Under Test Equivalent Model
c52200d425146ae067a8899d5deb3edf24414189	Apalache	InstanceNamedWithInFolder	AndProp	False	Passed	Model Under Test Equivalent Model
b4b5c11bcafc3902f696b5cd9f1bb5abde17e5df	Apalache	Lambda	AndProp	True	Passed	Model Under Test Equivalent Model
f303aa5e42691b3a13ccb23436d27cc53f9d5e88	Apalache	Lambda	AndProp	False	Passed	Model Under Test Equivalent Model

Index

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