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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
fa5bb10c75502ed938ba726308ed6b21982f0261	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagOfAll	OneLineComment	True	Passed	Model Under Test Equivalent Model
07c216ae1e6f076ab01e299814cc75ea5c3aa3c7	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagOfAll	OneLineComment	False	Passed	Model Under Test Equivalent Model
90325e52c8d9e59808eb514f94750e6229a7d665	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagOfAll	MultiLineComment	True	Passed	Model Under Test Equivalent Model
93de820b7053cbc0b09d86028cffed3e64459eb4	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	BagBagOfAll	MultiLineComment	False	Passed	Model Under Test Equivalent Model
e21bc4f151079f2416c9e557a1e68a91244a38aa	Apalache	BagBagOfAll	Let	True	Passed	Model Under Test Equivalent Model
fb243582415daad8316da15870e51b5a6be7c48b	Apalache	BagBagOfAll	Let	False	Passed	Model Under Test Equivalent Model
46f7b5f81dd46f3ca391795692da2c5573007e3a	Apalache	BagBagOfAll	Choose	True	Passed	Model Under Test Equivalent Model
3dfe2b1de6aec9d494524ae86d69ab8fd7c3691e	Apalache	BagBagOfAll	Choose	False	Passed	Model Under Test Equivalent Model
def7dda91d500256ef537b463471e65669348af8	Apalache	BagBagOfAll	FunApp	True	Passed	Model Under Test Equivalent Model
644ec63f5aa2bf8bdd70ed22875700bec0222690	Apalache	BagBagOfAll	FunApp	False	Passed	Model Under Test Equivalent Model
9e096ef361205ff186a3a5e299963ff725ce281a	Apalache	BagBagOfAll	Prime	True	Passed	Model Under Test Equivalent Model
5eada67e3b49d7c47e74b169018786c5e8c90462	Apalache	BagBagOfAll	Prime	False	Passed	Model Under Test Equivalent Model
2b580d1d67ef4e69328319d8b8e9f100bc93e6d4	Apalache	BagBagOfAll	Def0	True	Passed	Model Under Test Equivalent Model
a912808efca8a716cf2778ca87c32b74ed69567d	Apalache	BagBagOfAll	Def0	False	Passed	Model Under Test Equivalent Model
d167f59167505ae02918c9584134ef6be49fa59d	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagOfAll	LetDef0	True	Passed	Model Under Test Equivalent Model
cf09e0ceac0cf69aaddc66b1deb97c03d24e0585	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagOfAll	LetDef0	False	Passed	Model Under Test Equivalent Model
b591fdafc735a26d183d265d5c207f9ddbc41956	Apalache	BagBagOfAll	Def1	True	Passed	Model Under Test Equivalent Model
9f756fe24bb862f98d6e2ca530119a7fb28943a9	Apalache	BagBagOfAll	Def1	False	Passed	Model Under Test Equivalent Model
85f93657ecea967d3fafb810d541b1ebaa7d1e5e	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagOfAll	LetDef1	True	Passed	Model Under Test Equivalent Model
c162b99b4e01197dd1b6169b93c516db9acbc156	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagOfAll	LetDef1	False	Passed	Model Under Test Equivalent Model
0407ee6b9e34dac129677f937e10dca4a61dfe5f	Apalache	BagBagOfAll	Def2	True	Passed	Model Under Test Equivalent Model
dbb96dd8bf099b9c8d38dad2e1784a75f543345a	Apalache	BagBagOfAll	Def2	False	Passed	Model Under Test Equivalent Model
05b0c36fef65016e05c2523a032bd6d2be7634d0	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagOfAll	LetDef2	True	Passed	Model Under Test Equivalent Model
66064696d335ec057224c5bcc32a747d95fc0449	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagOfAll	LetDef2	False	Passed	Model Under Test Equivalent Model
607284fdd30945d7cdff51b2b5200f517598867c	Apalache	BagBagOfAll	Def1Recursive	True	Passed	Model Under Test Equivalent Model
c3dcd807b7cc24c53d2cf56d2d43bd17d4fb1e8a	Apalache	BagBagOfAll	Def1Recursive	False	Passed	Model Under Test Equivalent Model
395bcdca632e811db063c08173f3771a5686fc3c	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagOfAll	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
b4e08b496d90d4185e1eddf6057324637fc986c7	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	BagBagOfAll	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
a4b91c2d05e89e7b72b18f66c14cee22322a3493	Apalache	BagBagOfAll	Extends	True	Passed	Model Under Test Equivalent Model
8cedf1aaff38ba7e7628f3fc7ab7d071bd369c89	Apalache	BagBagOfAll	Extends	False	Passed	Model Under Test Equivalent Model
8a1576d2ad586796e36a3f54c48fed12de726091	Apalache	BagBagOfAll	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
41f1d57a5827aafa450a5316058885ecc87e1ce7	Apalache	BagBagOfAll	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
7c0fbb347a933149247bad39b59940b0aed00154	Apalache	BagBagOfAll	Variable	True	Passed	Model Under Test Equivalent Model
8c5d82596739230e190a387c8bf22569730acb44	Apalache	BagBagOfAll	Variable	False	Passed	Model Under Test Equivalent Model
03ec01f33107e8e397de015f4e4f1dd0787b75cf	Apalache	BagBagOfAll	Constant	True	Passed	Model Under Test Equivalent Model
b9e2c9db29ae767fbb2441733e4095d054a88bc1	Apalache	BagBagOfAll	Constant	False	Passed	Model Under Test Equivalent Model
2bb3769ec540c5760aa521e8cefd1e7deee5d72f	Apalache	BagBagOfAll	ConstantRank1	True	Passed	Model Under Test Equivalent Model
af2dd815ef9c859883679a574376b8706f7bc7de	Apalache	BagBagOfAll	ConstantRank1	False	Passed	Model Under Test Equivalent Model
1ba2e2227e110ef1197792d1104f5df3feedc012	Apalache	BagBagOfAll	Instance	True	Passed	Model Under Test Equivalent Model
e348d864703c9861eb663190725262de56c4cdf8	Apalache	BagBagOfAll	Instance	False	Passed	Model Under Test Equivalent Model
6f92776c1d7ed4e89ad5a2081d7890ef45d6618e	Apalache	BagBagOfAll	InstanceWith	True	Passed	Model Under Test Equivalent Model
d42c48b068dbd5005dfc013e6df2e81f2ec2d366	Apalache	BagBagOfAll	InstanceWith	False	Passed	Model Under Test Equivalent Model
466f13688cb80fc795e085cee865058c86e08818	Apalache	BagBagOfAll	InstanceNamed	True	Passed	Model Under Test Equivalent Model
52130037efeb5e954d87fbf573ea29134934880d	Apalache	BagBagOfAll	InstanceNamed	False	Passed	Model Under Test Equivalent Model
6202a5cd567d5f40f352e901230411a4fd788ce1	Apalache	BagBagOfAll	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
479cf5af85e01f5204e72dd71ab7950fcf659b98	Apalache	BagBagOfAll	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
154ff1005150337c020f0f4b5655a8f594e25c67	Apalache	BagBagOfAll	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
69af128f554a137f87130d538e887d92a087fd34	Apalache	BagBagOfAll	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
8d00fffdd6072eb5ed4aac11caaba3c7c447eb10	Apalache	BagBagOfAll	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
f7e82bb57503757c209ea3bc43d77b98c953251c	Apalache	BagBagOfAll	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
8b151a0343ed1eeb48194e98da3cdd35e1ce9ceb	Apalache	BagBagOfAll	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
aa7e1749e1699ae1dcfe43159acfed9d48140101	Apalache	BagBagOfAll	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
0056c530901a021c21391ec4b1bc1cfa9ef56019	Apalache	BagBagOfAll	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
489d6be49fcc928e2b766574d97a84f749efce77	Apalache	BagBagOfAll	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
e687c887160138fc190f5f6daee52854af59f239	Apalache	BagBagOfAll	IfCond	True	Passed	Model Under Test Equivalent Model
c9f8c91dd427553e732ae0077db98905ef09d428	Apalache	BagBagOfAll	IfCond	False	Passed	Model Under Test Equivalent Model
dd4ff2fdb3abe3f411b4a9c16a52e53f75fdb2f0	Apalache	BagBagOfAll	IfThen	True	Passed	Model Under Test Equivalent Model
921b34173389d06d5e25171a2ac0db0f25c97904	Apalache	BagBagOfAll	IfThen	False	Passed	Model Under Test Equivalent Model
c59fd7457d90ebee01c11bc52f08d37eb5aa7309	Apalache	BagBagOfAll	IfElse	True	Passed	Model Under Test Equivalent Model
a5ea73d497adc36833e6719fd7d6b10ba2c039f0	Apalache	BagBagOfAll	IfElse	False	Passed	Model Under Test Equivalent Model
9c6040e502178f9854f68cf5e09cfb86719ce448	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	BagBagOfAll	TlcEval	True	Passed	Model Under Test Equivalent Model
3bc9b2e2a892acbe9f805f1a9978ba42a11a8cf1	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	BagBagOfAll	TlcEval	False	Passed	Model Under Test Equivalent Model
507b06a4ecda2157fc8ef512acf041d06026bf2b	Apalache	BagBagOfAll	BagSetToBag	True	Passed	Model Under Test Equivalent Model
fe9f885df176eb940915355198ae71311325a248	Apalache	BagBagOfAll	BagSetToBag	False	Passed	Model Under Test Equivalent Model
347cddf1584741b1e6a5bcda6993eed78e8dd788	Apalache	BagBagOfAll	BagEmptyBag	True	Passed	Model Under Test Equivalent Model
16c6cfda5efb94d7c99683d40bbb49a562dc6419	Apalache	BagBagOfAll	BagEmptyBag	False	Passed	Model Under Test Equivalent Model
9d113836c266bcf4f0eb889cbc2947d403ec0e2b	Apalache	BagBagOfAll	BagAddBag	True	Passed	Model Under Test Equivalent Model
36197f22623de61d467477058dc6cfc96ca974a9	Apalache	BagBagOfAll	BagAddBag	False	Passed	Model Under Test Equivalent Model
60b399eae46923e195b8ba71afd85d7536c3baa9	Apalache	BagBagOfAll	BagBagSub	True	Passed	Model Under Test Equivalent Model
a9a4e47661677d5222a3026a8a46aed6e52c650a	Apalache	BagBagOfAll	BagBagSub	False	Passed	Model Under Test Equivalent Model
5f5475c35ec8b7f99614714d5356569ea22a91db	Apalache	BagBagOfAll	BagBagUnion	True	Passed	Model Under Test Equivalent Model
ac6321009c8ecf38dde5400e19d8d1c7564838a7	Apalache	BagBagOfAll	BagBagUnion	False	Passed	Model Under Test Equivalent Model
ce4443007d0bb6cdaa36f7d5b90bd6393b9654c0	Apalache	BagBagOfAll	BagBagOfAll	True	Passed	Model Under Test Equivalent Model
3aed5da4a0f3372a6cf67f74c6f6961f3393b2e5	Apalache	BagBagOfAll	BagBagOfAll	False	Passed	Model Under Test Equivalent Model
0b7d6f84a4fc23a207fcfca95163ce31e9b5c9a7	Apalache	BagBagOfAll	SeqHead	True	Passed	Model Under Test Equivalent Model
b430164d1285e6900e6dda23270ec9c9907911a8	Apalache	BagBagOfAll	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

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