Tests by case feature BagAddBag; CLI Option: -workers 1

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
036b3f08a78e2c6dfd24828681d35ba4390fcdc7	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagAddBag	OneLineComment	True	Passed	Model Under Test Equivalent Model
9c180f064825a64f5a1675871949bffa5d874127	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagAddBag	OneLineComment	False	Passed	Model Under Test Equivalent Model
0d17fdb4e10af046eb745fa76f082165c0f5ec7f	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagAddBag	MultiLineComment	True	Passed	Model Under Test Equivalent Model
e18dfce5f4831d989fc6f1c6ac21ba5098d1562f	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagAddBag	MultiLineComment	False	Passed	Model Under Test Equivalent Model
574126e4e2810b5c87a82387a7666ae51cc339d9	Apalache	BagAddBag	Let	True	Passed	Model Under Test Equivalent Model
0990fcdb9c1918dbbddfa488d5e99949abbffd98	Apalache	BagAddBag	Let	False	Passed	Model Under Test Equivalent Model
38d81d71751b91e05e5e90769763f6f2735645b7	Apalache	BagAddBag	Choose	True	Passed	Model Under Test Equivalent Model
77bd2fbecc89119df3cd625c9cc9d3847303aea2	Apalache	BagAddBag	Choose	False	Passed	Model Under Test Equivalent Model
c086cbf2ec63b0e1fc9dba0f0a1295581aeb1b60	Apalache	BagAddBag	FunApp	True	Passed	Model Under Test Equivalent Model
c9cf81e95496fa146c9917063262e52e94b26fa3	Apalache	BagAddBag	FunApp	False	Passed	Model Under Test Equivalent Model
a8e1451b45f7b6726e78ac6054b99e0ead0d9a64	Apalache	BagAddBag	Prime	True	Passed	Model Under Test Equivalent Model
68258b309ed9db0f1a48c6904b4e05797335d190	Apalache	BagAddBag	Prime	False	Passed	Model Under Test Equivalent Model
50f590c77df2bdcbd013529108ee717f777c2b5e	Apalache	BagAddBag	Def0	True	Passed	Model Under Test Equivalent Model
e63ca797261512279a7dfc66d1c7e26b1eb50854	Apalache	BagAddBag	Def0	False	Passed	Model Under Test Equivalent Model
62b84c8886c11060a2cc35a98039271c95cd81df	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagAddBag	LetDef0	True	Passed	Model Under Test Equivalent Model
1cfd998aeae44ccea5ca9437b48c4556ce33e17b	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagAddBag	LetDef0	False	Passed	Model Under Test Equivalent Model
d8b3c79987d085869523c3b03d78ad916a3e8327	Apalache	BagAddBag	Def1	True	Passed	Model Under Test Equivalent Model
e7a551b10a2426f35186caaf1c7c95e44d547e49	Apalache	BagAddBag	Def1	False	Passed	Model Under Test Equivalent Model
4fa6efb1656fa84c1a6cdab3f394b4baeacd8dfb	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagAddBag	LetDef1	True	Passed	Model Under Test Equivalent Model
e8d8cf7e1b0eea7b8f3fb54fd699a1ddcfacdd2e	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagAddBag	LetDef1	False	Passed	Model Under Test Equivalent Model
6bcef2f0ee04e728c76b8206666f5ec3c9887e74	Apalache	BagAddBag	Def2	True	Passed	Model Under Test Equivalent Model
b58f17b2d2d0ec0c297cee62d4c1dba1e16fdaa9	Apalache	BagAddBag	Def2	False	Passed	Model Under Test Equivalent Model
889f222b22cc70a187e96ae13a60f9c4e8717105	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagAddBag	LetDef2	True	Passed	Model Under Test Equivalent Model
ae06f9efb2b68947c46124ce60b4f14e34853320	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagAddBag	LetDef2	False	Passed	Model Under Test Equivalent Model
0bee3290bb73cf23f3a53ca69dfa68339ecfa765	Apalache	BagAddBag	Def1Recursive	True	Passed	Model Under Test Equivalent Model
6679caa023df85947c2a53636e1dea19e3c00ced	Apalache	BagAddBag	Def1Recursive	False	Passed	Model Under Test Equivalent Model
b15526354bf41e54be99a9eaefe31ccfe0e8c8bf	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagAddBag	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
8dbe788fcd61acdc4e20cff49b82deb98ebe9b12	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagAddBag	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
71b23a76bb24c26f7e6f3ae58f5ccfe12c900fb9	Apalache	BagAddBag	Extends	True	Passed	Model Under Test Equivalent Model
735658c4d22dd9fca38a0d489dde236ae492130f	Apalache	BagAddBag	Extends	False	Passed	Model Under Test Equivalent Model
12690bace7dcad0c9254767b18aac321ba6ff142	Apalache	BagAddBag	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
cac992684725f58594fd74a33865f8728ff00fa6	Apalache	BagAddBag	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
bd764b536456ea6bc3e3851171e39fede7ced850	Apalache	BagAddBag	Variable	True	Passed	Model Under Test Equivalent Model
4ce76758d410cc9af3509105fa675ab783065a37	Apalache	BagAddBag	Variable	False	Passed	Model Under Test Equivalent Model
c6dde885ea10efd1ec9e58797effa1a850b29778	Apalache	BagAddBag	Constant	True	Passed	Model Under Test Equivalent Model
753b133439df9b2a82147215af516f3a1f6ba841	Apalache	BagAddBag	Constant	False	Passed	Model Under Test Equivalent Model
f004e36164414112bfcc5ab8bdcfa9b90cf05003	Apalache	BagAddBag	ConstantRank1	True	Passed	Model Under Test Equivalent Model
9d80187eecc0f01b1ac65a52c46af2c85529d5fa	Apalache	BagAddBag	ConstantRank1	False	Passed	Model Under Test Equivalent Model
342d68194f8fa9aae51a096c262d92db60de8296	Apalache	BagAddBag	Instance	True	Passed	Model Under Test Equivalent Model
8f2ad57f296cbc5c083753d91b94a054358573d9	Apalache	BagAddBag	Instance	False	Passed	Model Under Test Equivalent Model
26cf97104baaf627e0b26ae1eafb294f15884898	Apalache	BagAddBag	InstanceWith	True	Passed	Model Under Test Equivalent Model
8b5f1b4e0e6ee61a1aca3a52251ccefc12d2b936	Apalache	BagAddBag	InstanceWith	False	Passed	Model Under Test Equivalent Model
d0296455c611eeb61d9b5a130958711e500e572c	Apalache	BagAddBag	InstanceNamed	True	Passed	Model Under Test Equivalent Model
dea09b622d65afcb188ebe977d79bec0b3c228bc	Apalache	BagAddBag	InstanceNamed	False	Passed	Model Under Test Equivalent Model
87ab3d6cfbe6e7aaa3731dcb7968e2048cd5ccf8	Apalache	BagAddBag	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
451447df503c08ec96dc1b6dbf346a14ecfb7716	Apalache	BagAddBag	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
ff2fc104701ece1426c172a3531511a567a16417	Apalache	BagAddBag	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
ac4c4d93df621be7b5b97b8263dc8dd04bbb6614	Apalache	BagAddBag	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
2ddb0f3f47f3920a1c9e5fe84d2d0f3247d65d39	Apalache	BagAddBag	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
c18fd335487440db32ba9e47d38c6ba89278c11f	Apalache	BagAddBag	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
2df88d2ac37b93534b833e47754c6891eeb2c519	Apalache	BagAddBag	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
be93071874b6eb4343142e09cb0de25c0b2560c2	Apalache	BagAddBag	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
5b77c03759f5867f52f12a40ea29e27e991368d8	Apalache	BagAddBag	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
ebebd20b51fd4261d38dc67a3393899e3941b8ca	Apalache	BagAddBag	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
ec50b3f9379251c24aa90970e72bcfff0d48aacb	Apalache	BagAddBag	IfCond	True	Passed	Model Under Test Equivalent Model
1a5a22e66418ac7a6e56f1a26b8b2b6f2ccedb18	Apalache	BagAddBag	IfCond	False	Passed	Model Under Test Equivalent Model
5301bce8eb359239402c86d0d8000eca699913e7	Apalache	BagAddBag	IfThen	True	Passed	Model Under Test Equivalent Model
f71abcc57aa27b47ce0d17ca289360e53519e4f7	Apalache	BagAddBag	IfThen	False	Passed	Model Under Test Equivalent Model
ce99fe26825360c30c2793df79447ebe2f4edd5c	Apalache	BagAddBag	IfElse	True	Passed	Model Under Test Equivalent Model
0bbaad7d07992eb911b299222e9511a1c8f6d49a	Apalache	BagAddBag	IfElse	False	Passed	Model Under Test Equivalent Model
18e9132a99e0c3f3986fa97e74cb7f02fdd220d9	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	BagAddBag	TlcEval	True	Passed	Model Under Test Equivalent Model
9f44cc203e2d7693a9165d96b93196d63ca87ff7	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	BagAddBag	TlcEval	False	Passed	Model Under Test Equivalent Model
b5d2870cf8e9eb333acfa1132f2e5ae131a0ae20	Apalache	BagAddBag	BagSetToBag	True	Passed	Model Under Test Equivalent Model
e883f9a18642bcef8c19d338a2d224bfd09d59af	Apalache	BagAddBag	BagSetToBag	False	Passed	Model Under Test Equivalent Model
1450862fcb9ae0f48f2c75a1b1409d3ab6df69ce	Apalache	BagAddBag	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
27f4bd3242efc57d447cdaf2711ec54ad6163157	Apalache	BagAddBag	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
e323867835a073fcd574bfdbfb288b9fd08607a0	Apalache	BagAddBag	BagAddBag	True	Passed	Model Under Test Equivalent Model
bc00e0731b7e1716f1955f34f7a7b3f835bb1748	Apalache	BagAddBag	BagAddBag	False	Passed	Model Under Test Equivalent Model
6b48dc2b828e6e49b9057df849777567e1babae8	Apalache	BagAddBag	BagBagSub	True	Passed	Model Under Test Equivalent Model
a5f4ed8318161cc98fd022038940dbc05a0857aa	Apalache	BagAddBag	BagBagSub	False	Passed	Model Under Test Equivalent Model
2c810e4a9d32b55694de9f57acb02c7ca16302a7	Apalache	BagAddBag	BagBagUnion	True	Passed	Model Under Test Equivalent Model
4d979515229e4c9dd01ee9c3037631eecaf04300	Apalache	BagAddBag	BagBagUnion	False	Passed	Model Under Test Equivalent Model
dc1546b074e9163d68a5f47343e4c26aa0adec79	Apalache	BagAddBag	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
87e1866b04bbe65f37fc572a629df48026fce1aa	Apalache	BagAddBag	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
874bf2479a6b631eb80cf8b838bcb53fa95b43bd	Apalache	BagAddBag	SeqHead	True	Passed	Model Under Test Equivalent Model
a83be4d563062ba7b1539f3b5eafc0ce08c42479	Apalache	BagAddBag	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

Tests by case feature BagAddBag; CLI Option: -workers 1