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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
b5efa75fb72adc55ec45be3982174ea225920f7a	Apalache	Eq	StringEmpty	True	Passed	Model Under Test Equivalent Model
1ad9d1dfb1264e58b85b22309012c1037941c18a	Apalache	Eq	StringEmpty	False	Passed	Model Under Test Equivalent Model
73fdb4d59ada0b83c3ab6d909b6efa782ee46164	Apalache	Ne	StringEmpty	True	Passed	Model Under Test Equivalent Model
f1533ea5f8ceef2fa3f73d85383a8c83aef5b773	Apalache	Ne	StringEmpty	False	Passed	Model Under Test Equivalent Model
02c0a9ccdf77f987fcd2f90c3c6306b83da3b6b6	Apalache	Let	StringEmpty	True	Passed	Model Under Test Equivalent Model
af65d341f4d3a4f94fe61d1ce81b8ab867c7998e	Apalache	Let	StringEmpty	False	Passed	Model Under Test Equivalent Model
28038315e91d14b841a47af71fe00a5ff2f5e145	Apalache	Set0	StringEmpty	True	Passed	Model Under Test Equivalent Model
5e5f72f734c9abba12d77d5ce33a6896b6cb3f6b	Apalache	Set0	StringEmpty	False	Passed	Model Under Test Equivalent Model
7a4e2235c955021083145a1d06ce8fb3d8011fae	Apalache	Set1	StringEmpty	True	Passed	Model Under Test Equivalent Model
eb791eb778beba0a7182293bc9c15a0ba23321f7	Apalache	Set1	StringEmpty	False	Passed	Model Under Test Equivalent Model
11fae848cf6c6aa8d7da17610a492cb35fe2b983	Apalache	Set2	StringEmpty	True	Passed	Model Under Test Equivalent Model
b39b02b6a407c1b3ee2ecea1eedf8be0fb12973d	Apalache	Set2	StringEmpty	False	Passed	Model Under Test Equivalent Model
f66488e3bae95f20d610379fa7b3c040689f7017	Apalache	Fun	StringEmpty	True	Passed	Model Under Test Equivalent Model
23c81744713c0b4f18c3a8ecd46ec10aecbcb062	Apalache	Fun	StringEmpty	False	Passed	Model Under Test Equivalent Model
ed77a60f22e7fb97829f2a3082d78dfcad1dd924	Apalache	In	StringEmpty	True	Passed	Model Under Test Equivalent Model
dd1ecc20ba4dc4087ca51982d1e29eddb74d8ca5	Apalache	In	StringEmpty	False	Passed	Model Under Test Equivalent Model
e24029dec0a09c1de0c50db275ed6caa475ebd62	Apalache	NotIn	StringEmpty	True	Passed	Model Under Test Equivalent Model
9a192bae1e1474a7f4786473eb78cc119d64ea59	Apalache	NotIn	StringEmpty	False	Passed	Model Under Test Equivalent Model
a2782784e3c4b54a3f4b5b87e6db2c2fad01356c	Apalache	Record	StringEmpty	True	Passed	Model Under Test Equivalent Model
e263a259be1255cf7c847ec8528450c4a054d947	Apalache	Record	StringEmpty	False	Passed	Model Under Test Equivalent Model
37309d06c3d4c758902c51cd24092e67dec65bbf	Apalache	Tuple	StringEmpty	True	Passed	Model Under Test Equivalent Model
dd1312e89aa0bdaffe24e6f01829d47ecc4a0ecd	Apalache	Tuple	StringEmpty	False	Passed	Model Under Test Equivalent Model
bdcfbe873a6b33b01a450cc0c391a4c14f353ec4	Apalache	FunApp	StringEmpty	True	Passed	Model Under Test Equivalent Model
e411e9cc8bfc04f835564bf3ad0b66a2a9f54318	Apalache	FunApp	StringEmpty	False	Passed	Model Under Test Equivalent Model
067cfdb163560b2f3c4da254340cc0810e801a4e	Apalache	Except1Fun	StringEmpty	True	Passed	Model Under Test Equivalent Model
8aad4bfab15ca04969bfef33221de5739145d124	Apalache	Except1Fun	StringEmpty	False	Passed	Model Under Test Equivalent Model
a0cae1f47e55143783590b7080fe15ce509921ff	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	StringEmpty	True	Passed	Model Under Test Equivalent Model
12e1f059bd1680ebebca99ff08286a43b671e35b	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	StringEmpty	False	Passed	Model Under Test Equivalent Model
8763d89ae66c4bd6c54b97b51b2f1dc7276e4d62	Apalache	Except1Rec	StringEmpty	True	Passed	Model Under Test Equivalent Model
469275ac2afababc13ad31cb7c42c267a6a18962	Apalache	Except1Rec	StringEmpty	False	Passed	Model Under Test Equivalent Model
19be286116f17d8973e9b5c53c46d3b6b8cb3e00	TLC with reduction strategy: Case Feature: @ is reduced to F.arg	Except1RecWithAt	StringEmpty	True	Passed	Model Under Test Equivalent Model
6635e542a53ebd712dc27994f74b1745ced80010	TLC with reduction strategy: Case Feature: @ is reduced to F.arg	Except1RecWithAt	StringEmpty	False	Passed	Model Under Test Equivalent Model
e925959bb32491494b3931403d2cd16a40d97168	Apalache	Except2Fun	StringEmpty	True	Passed	Model Under Test Equivalent Model
f35673ee4b74a21994dc3d4bb5dbe1acab6f4ef1	Apalache	Except2Fun	StringEmpty	False	Passed	Model Under Test Equivalent Model
440d037664ae9b3f2fa71e2f259a0ad95ea295fd	Apalache	Prime	StringEmpty	True	Passed	Model Under Test Equivalent Model
192bb1c1074f321c9269fcf7019204e96ef66b4c	Apalache	Prime	StringEmpty	False	Passed	Model Under Test Equivalent Model
5057c59fd59266e81c12c4eec101c88ffec9f916	Apalache	DefFun	StringEmpty	True	Passed	Model Under Test Equivalent Model
c02034df589c4a81b2cfda5af96af40f55731975	Apalache	DefFun	StringEmpty	False	Passed	Model Under Test Equivalent Model
17fbcedf134b50702d99a542783913541d6bf6f3	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFun	StringEmpty	True	Passed	Model Under Test Equivalent Model
8680379173c99cacabe6d00d72539823d804fb51	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFun	StringEmpty	False	Passed	Model Under Test Equivalent Model
32bd07d495e41bfb1e22aab6e05ff03ff74c6987	Apalache	DefFunRecursive	StringEmpty	True	Passed	Model Under Test Equivalent Model
cf6689691ede6f3605047bf546168a26b5be2821	Apalache	DefFunRecursive	StringEmpty	False	Passed	Model Under Test Equivalent Model
33f41b2874faca6f5f2944e63b970ab538fe132d	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunRecursive	StringEmpty	True	Passed	Model Under Test Equivalent Model
02639a4094a0913172b0fd5dded811ac3be4b7b9	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunRecursive	StringEmpty	False	Passed	Model Under Test Equivalent Model
996abb1e18f6ebbf0ceae5cb0acd64018183a1a8	Apalache	Def0	StringEmpty	True	Passed	Model Under Test Equivalent Model
7b9f1361ff47f14460952592b2caa7133615fe65	Apalache	Def0	StringEmpty	False	Passed	Model Under Test Equivalent Model
efba7c08367e694c4efa84f937396c4c76b43bef	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef0	StringEmpty	True	Passed	Model Under Test Equivalent Model
7750696ed1e1fc21dae591e7164d76562bbf8aa1	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef0	StringEmpty	False	Passed	Model Under Test Equivalent Model
3c138ce75469a7e3154af9f15b29aed00313aeb1	Apalache	Def1	StringEmpty	True	Passed	Model Under Test Equivalent Model
bb6bd55a0cd0e27e59fd91aaa99cf4ce3c927693	Apalache	Def1	StringEmpty	False	Passed	Model Under Test Equivalent Model
5e49df479f0f7109cc2b1b262cfb7bea0f3dcb53	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1	StringEmpty	True	Passed	Model Under Test Equivalent Model
4b12374ae9c103354d4df15ab03b8dcd1375f2f8	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1	StringEmpty	False	Passed	Model Under Test Equivalent Model
93648165f9336a85fbdb5ca7ea821ff59d9b2d1f	Apalache	Def2	StringEmpty	True	Passed	Model Under Test Equivalent Model
87d612263db866433beb6de2c0d1146a272fc5d6	Apalache	Def2	StringEmpty	False	Passed	Model Under Test Equivalent Model
d7260db9d6dab62a3a3bcd6922fa70bb120ee6f4	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef2	StringEmpty	True	Passed	Model Under Test Equivalent Model
122df577c8204d58203f3762970b8e1b5a84e15c	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef2	StringEmpty	False	Passed	Model Under Test Equivalent Model
c0d4035af84e13a484eb769313d03a909a7c9a6e	Apalache	Def1Recursive	StringEmpty	True	Passed	Model Under Test Equivalent Model
642268eb65e1ae3491095d60aaa4c9f787815f90	Apalache	Def1Recursive	StringEmpty	False	Passed	Model Under Test Equivalent Model
87f25c2c42b2a6621e3d52d39ff32b7bde8a1e8c	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1Recursive	StringEmpty	True	Passed	Model Under Test Equivalent Model
3da03d388bff596149c99b40977fb36c8ded4b3f	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1Recursive	StringEmpty	False	Passed	Model Under Test Equivalent Model
30b859637798cc8e8c978b973f7e2310d91873ed	Apalache	Extends	StringEmpty	True	Passed	Model Under Test Equivalent Model
2116ecd68e0469e81637252103f38779743a447c	Apalache	Extends	StringEmpty	False	Passed	Model Under Test Equivalent Model
9a262f61bb064ace2060cf260a9e162af2d65b09	Apalache	ExtendsInDifferentFolder	StringEmpty	True	Passed	Model Under Test Equivalent Model
bc25e2764f6947b0ff00dbef5eb21e3536c15f3f	Apalache	ExtendsInDifferentFolder	StringEmpty	False	Passed	Model Under Test Equivalent Model
5cc79075a76afee39e6140133ee8980be97158fb	Apalache	Variable	StringEmpty	True	Passed	Model Under Test Equivalent Model
e08a236c2ae1223f93ba972aee457e413e6eb55f	Apalache	Variable	StringEmpty	False	Passed	Model Under Test Equivalent Model
f995b3a8e51019f9c17400f18c2bef277269eef7	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	StringEmpty	True	Passed	Model Under Test Equivalent Model
349fa843586646d91a070d0ce5b8a20f14b25a1e	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	StringEmpty	False	Passed	Model Under Test Equivalent Model
0e3c4ae11c9de01c4e16a08db413c4cf60df1560	Apalache	Constant	StringEmpty	True	Passed	Model Under Test Equivalent Model
fd135a00a4caa5d48cb6f539776a1d2a9e27c5b8	Apalache	Constant	StringEmpty	False	Passed	Model Under Test Equivalent Model
c95f2a258865366f56a98ea09b1b776619185e49	Apalache	ConstantRank1	StringEmpty	True	Passed	Model Under Test Equivalent Model
0322149c3652b170021202bb2c48bab91b1f0b7b	Apalache	ConstantRank1	StringEmpty	False	Passed	Model Under Test Equivalent Model
95048f6df5ed05b8ae41cb40f08d3ed6fb7bc5ef	Apalache	Instance	StringEmpty	True	Passed	Model Under Test Equivalent Model
daea41845090e176c6d4137cc899c0d9601ea0f7	Apalache	Instance	StringEmpty	False	Passed	Model Under Test Equivalent Model
7d6e933a805ddd3494cfd079206def00cada24d0	Apalache	InstanceWith	StringEmpty	True	Passed	Model Under Test Equivalent Model
eb118e39e2474617d37b13d0c141538a79d8461b	Apalache	InstanceWith	StringEmpty	False	Passed	Model Under Test Equivalent Model
c39833323c37f4c38e676c7a91d0c99e30dfa083	Apalache	InstanceNamed	StringEmpty	True	Passed	Model Under Test Equivalent Model
4c8ecbb214779253056825fdfb6c071551c16043	Apalache	InstanceNamed	StringEmpty	False	Passed	Model Under Test Equivalent Model
3b4ccc99f2d305724fc8bcc3267f6189f815f0e0	Apalache	InstanceNamedWith	StringEmpty	True	Passed	Model Under Test Equivalent Model
fd638e0f0e9dfa9ac8cae5b41aad622c325fdf89	Apalache	InstanceNamedWith	StringEmpty	False	Passed	Model Under Test Equivalent Model
2bc84bff5b7d0711319ef8bda93a93e74d25e16a	Apalache	InstanceInFolder	StringEmpty	True	Passed	Model Under Test Equivalent Model
bc72ecb96b9fdd2d1b4b5df454c0627a1b52067d	Apalache	InstanceInFolder	StringEmpty	False	Passed	Model Under Test Equivalent Model
94bb69151416f4540fcbce8ee73b5b4bd12928fd	Apalache	InstanceWithInFolder	StringEmpty	True	Passed	Model Under Test Equivalent Model
d782e4c3adb5e2425589fc65d48066ed7f045464	Apalache	InstanceWithInFolder	StringEmpty	False	Passed	Model Under Test Equivalent Model
d019d0ecc056e9a8e77dfc543d243ab2dc4da10c	Apalache	InstanceNamedInFolder	StringEmpty	True	Passed	Model Under Test Equivalent Model
a750755614b883f415de4a20ae2cafd58cf2dcdd	Apalache	InstanceNamedInFolder	StringEmpty	False	Passed	Model Under Test Equivalent Model
58affb382e1f7d45ed307e72cbf7136d9b627f64	Apalache	InstanceNamedWithInFolder	StringEmpty	True	Passed	Model Under Test Equivalent Model
665d34d6e15b9ac64b1de714c18a0b033bcfda86	Apalache	InstanceNamedWithInFolder	StringEmpty	False	Passed	Model Under Test Equivalent Model
5a00370243b1ee34165f5aeb13c0308e6f4b9317	Apalache	Lambda	StringEmpty	True	Passed	Model Under Test Equivalent Model
947608e75dddcb170fc69962e43607d9f702e04b	Apalache	Lambda	StringEmpty	False	Passed	Model Under Test Equivalent Model
ea4210e29870ae9dcbc16a55d479133cfa0f7209	Apalache	IfThen	StringEmpty	True	Passed	Model Under Test Equivalent Model
3afa1159b4adb74a5d5ecb40a84b25b10ac6d424	Apalache	IfThen	StringEmpty	False	Passed	Model Under Test Equivalent Model
1aa5579821db1f18a04109de680de53d9cc03ae4	Apalache	IfElse	StringEmpty	True	Passed	Model Under Test Equivalent Model
efe989313c0db8a44a697df025d5b61881aaeb4c	Apalache	IfElse	StringEmpty	False	Passed	Model Under Test Equivalent Model
f8a1a3ff88646e25bb94d1ffc52637f407337f41	Apalache	Unchanged	StringEmpty	True	Passed	Model Under Test Equivalent Model
e1c673dbdd7ab0b85946be0ceb368c95401e5dae	Apalache	Unchanged	StringEmpty	False	Passed	Model Under Test Equivalent Model
c9f71e36fae7bdf832e1de9616adf3bb8d99938b	Apalache	SeqLen	StringEmpty	True	Passed	Model Under Test Equivalent Model
ab0a944f76a0fcee3c7f1347f051ec859ed0a7e4	Apalache	SeqLen	StringEmpty	False	Passed	Model Under Test Equivalent Model
fa35b01f3a6d93482e381cdfa25e4ada1603d640	Apalache	SeqConcat	StringEmpty	True	Passed	Model Under Test Equivalent Model
503ef7d3ed29ff3c40f61f57bef56299d09d3833	Apalache	SeqConcat	StringEmpty	False	Passed	Model Under Test Equivalent Model
805a3e15db62b30d8362b6c09abae55240abe94f	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	TlcSingletonFun	StringEmpty	True	Passed	Model Under Test Equivalent Model
4ec4cc3eea9970392d087ed8ef909d9e52950f34	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	TlcSingletonFun	StringEmpty	False	Passed	Model Under Test Equivalent Model
a3f465b48c24dbe5e0fa6c10195fa15d8d32cc47	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr	TlcEval	StringEmpty	True	Passed	Model Under Test Equivalent Model
18686f6d011399b425d3edbc80c6eb7a06913556	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr	TlcEval	StringEmpty	False	Passed	Model Under Test Equivalent Model
ddabd25c5b86d85709b07aec837174e40e815868	Apalache	BagBagIn	StringEmpty	True	Passed	Model Under Test Equivalent Model
287a3c59f41cb208468cb06b5aa7acf9f7541398	Apalache	BagBagIn	StringEmpty	False	Passed	Model Under Test Equivalent Model
7b5828d4c57d84309deae05ec849464ce40cced9	Apalache	BagCopiesIn	StringEmpty	True	Passed	Model Under Test Equivalent Model
c755da72902a2752947d0f8ad11db6ec837b10db	Apalache	BagCopiesIn	StringEmpty	False	Passed	Model Under Test Equivalent Model
da913c80923c71eb244e929d5caab7716b3e92c5	Apalache	SeqAppend	StringEmpty	True	Passed	Model Under Test Equivalent Model
b8aa06e383c591fdab7b2623176db3f60dea3ac1	Apalache	SeqAppend	StringEmpty	False	Passed	Model Under Test Equivalent Model

Index

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