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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
23d5984312cb74cf61c6d0a6e6d9f435991097e3	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Except2FunTuple	OneLineComment	True	Passed	Model Under Test Equivalent Model
a920ca5f3cbf160d8b8354cb6e3c8e920e29b533	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Except2FunTuple	OneLineComment	False	Passed	Model Under Test Equivalent Model
4cb8c7f7b15df1743ab344985815210ca83c26ba	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Except2FunTuple	MultiLineComment	True	Passed	Model Under Test Equivalent Model
b2528b38a4dd596493d1584553400cedf4934cc6	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	Except2FunTuple	MultiLineComment	False	Passed	Model Under Test Equivalent Model
1e8d54bcf155f547d761362c875b9d0bb8d7b3d1	Apalache	Except2FunTuple	Let	True	Passed	Model Under Test Equivalent Model
1fd66f8c8fac27c3c719b8e7f2ae6e1926e0ec69	Apalache	Except2FunTuple	Let	False	Passed	Model Under Test Equivalent Model
e55071e3e6e68afdd8b47b688323ff12113dfadd	Apalache	Except2FunTuple	Choose	True	Passed	Model Under Test Equivalent Model
ab3b58a4d29e481ae512d379ba745a2d325459cf	Apalache	Except2FunTuple	Choose	False	Passed	Model Under Test Equivalent Model
8a929cd4d1e6eee662af912019a348a5610b5256	Apalache	Except2FunTuple	FunApp	True	Passed	Model Under Test Equivalent Model
40b0289af3c0b1c7a9ca25d040d1a0433690f86a	Apalache	Except2FunTuple	FunApp	False	Passed	Model Under Test Equivalent Model
5b4a3e9f4385b775b98b660c7a4564784ea2baa3	Apalache	Except2FunTuple	Prime	True	Passed	Model Under Test Equivalent Model
159faca663b41530ed092f7c4a390ad9ec9ece79	Apalache	Except2FunTuple	Prime	False	Passed	Model Under Test Equivalent Model
84a9ecb8c8158c2bf787c924814ca5011ffdcbff	Apalache	Except2FunTuple	Def0	True	Passed	Model Under Test Equivalent Model
e6882df03439781c9c54be76202ca9bce8d90199	Apalache	Except2FunTuple	Def0	False	Passed	Model Under Test Equivalent Model
a42455c2b8715e4cc59c97c31f0164c239c47c19	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Except2FunTuple	LetDef0	True	Passed	Model Under Test Equivalent Model
0dee49ca859225cb8e9d0af44e94fa03b6759a72	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Except2FunTuple	LetDef0	False	Passed	Model Under Test Equivalent Model
698bdefb72b31a5b1c3650dcbf1cca6d0533c983	Apalache	Except2FunTuple	Def1	True	Passed	Model Under Test Equivalent Model
c47e7aace5ffc09a3e967b60fdf1c5d4e72f0117	Apalache	Except2FunTuple	Def1	False	Passed	Model Under Test Equivalent Model
80299100a49d5c076782ef9f1666e46dfb705859	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Except2FunTuple	LetDef1	True	Passed	Model Under Test Equivalent Model
bc1d8a27001f47a14267d661341ba9b6f1f6244c	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Except2FunTuple	LetDef1	False	Passed	Model Under Test Equivalent Model
af369351db77c902c0a0cc71ffedc7aeefb80ef7	Apalache	Except2FunTuple	Def2	True	Passed	Model Under Test Equivalent Model
79d2e3bb1fd4fb42152492d73b9bce49e26fb98a	Apalache	Except2FunTuple	Def2	False	Passed	Model Under Test Equivalent Model
4bcb4b651692e55fc1299784153358d800fc74c4	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Except2FunTuple	LetDef2	True	Passed	Model Under Test Equivalent Model
ba5a96150ec84a551e28d54029f1363a8c5014d4	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Except2FunTuple	LetDef2	False	Passed	Model Under Test Equivalent Model
9e9affdd26c4ce968c8f32e3f9033dcac9e50290	Apalache	Except2FunTuple	Def1Recursive	True	Passed	Model Under Test Equivalent Model
3c43febdb571d1705c30eaeac80f1ae7743ae00b	Apalache	Except2FunTuple	Def1Recursive	False	Passed	Model Under Test Equivalent Model
fa19202ae3aff07841ef04d132fb268e45776411	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Except2FunTuple	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
6d16f428a4074d20368787d1a37f984625798ca0	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	Except2FunTuple	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
3af86e87c757e9c14eab20cb1fb1c00d80a496a2	Apalache	Except2FunTuple	Extends	True	Passed	Model Under Test Equivalent Model
11a6946dabe93ef9c87ffdea95708c4de038b19a	Apalache	Except2FunTuple	Extends	False	Passed	Model Under Test Equivalent Model
f63ee4983c69b7fbfb5431041a546652306d52b2	Apalache	Except2FunTuple	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
a02fc15dccaa13b39a793a3a7b18b20457dbb0d7	Apalache	Except2FunTuple	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
1a148c6ac3a7a08f008df7bce4ea6a3bff143dfe	Apalache	Except2FunTuple	Variable	True	Passed	Model Under Test Equivalent Model
58476eea039caa22af6d46532307d8beb41fb370	Apalache	Except2FunTuple	Variable	False	Passed	Model Under Test Equivalent Model
c88589b0fa382c4d4f772afdc6d3a6ef32db3e01	Apalache	Except2FunTuple	Constant	True	Passed	Model Under Test Equivalent Model
24371f0e84b87d8ac71484b912c661c1d178b90a	Apalache	Except2FunTuple	Constant	False	Passed	Model Under Test Equivalent Model
b257d96f2065dfbf975635ef8d8c181b38bb3a05	Apalache	Except2FunTuple	ConstantRank1	True	Passed	Model Under Test Equivalent Model
f8a87faa4a1c965a4f0e5bcd9032c2a18144ef57	Apalache	Except2FunTuple	ConstantRank1	False	Passed	Model Under Test Equivalent Model
31b55887531d8a8ad759078b686b9091171573e6	Apalache	Except2FunTuple	Instance	True	Passed	Model Under Test Equivalent Model
0ffbdae103febfe25ce1230adae67beae27b2cc2	Apalache	Except2FunTuple	Instance	False	Passed	Model Under Test Equivalent Model
962ac775c02383690c2e226ced92ecde3ce9c5c0	Apalache	Except2FunTuple	InstanceWith	True	Passed	Model Under Test Equivalent Model
5d4f814abbedac95f14471b6088d24a8479b7065	Apalache	Except2FunTuple	InstanceWith	False	Passed	Model Under Test Equivalent Model
196da80f0cb086ad653a7f9267439c65e44979ea	Apalache	Except2FunTuple	InstanceNamed	True	Passed	Model Under Test Equivalent Model
759f6d8644138180deb345974f5e0347821e95d3	Apalache	Except2FunTuple	InstanceNamed	False	Passed	Model Under Test Equivalent Model
7d2d5e0b215e37a37e2ca40717a0385c3c2325d8	Apalache	Except2FunTuple	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
e5cc1a9b4633424d8718a60ab4110b495a0c18d2	Apalache	Except2FunTuple	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
2b601b32f244eed1b46ac03b2d6f7402109643c5	Apalache	Except2FunTuple	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
c49dd30ecf9760bc0ee6b5ad655ff3c2f33e768e	Apalache	Except2FunTuple	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
f076a8664bbeb3fa5566bda76da4ea80e7c535e0	Apalache	Except2FunTuple	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
cae71406d028e1bb73458ff4a673eae0299ca0d4	Apalache	Except2FunTuple	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
b7bcbe27a2e49bcc9b5477ee0e5b9efa3f31b92c	Apalache	Except2FunTuple	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
6d17fa871c7d69b90f1907071386c8b28cd0dd7f	Apalache	Except2FunTuple	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
7e662f52026231747462934d60e3117032d24c82	Apalache	Except2FunTuple	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
f7a55e2a666ef4220d9fd291ad2c591e16d7b54f	Apalache	Except2FunTuple	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
a5295f67ff6a3b93287b7970b536edda0ed035b5	Apalache	Except2FunTuple	IfCond	True	Passed	Model Under Test Equivalent Model
44b751d04ba1d327db7d028e2312a5db24a0a6c1	Apalache	Except2FunTuple	IfCond	False	Passed	Model Under Test Equivalent Model
0ebe405f5ceaefbb5d6766792fbbf9290d10fbfb	Apalache	Except2FunTuple	IfThen	True	Passed	Model Under Test Equivalent Model
ad09bc13adeb1511627de2b615ca112709c23b78	Apalache	Except2FunTuple	IfThen	False	Passed	Model Under Test Equivalent Model
a513c5e98cef97ff25046511b1316aac6390eda5	Apalache	Except2FunTuple	IfElse	True	Passed	Model Under Test Equivalent Model
b677e2f5e272da7a46f1c4016d4b1634d2f5d0cd	Apalache	Except2FunTuple	IfElse	False	Passed	Model Under Test Equivalent Model
69aead153aa658110348545fb8b82ab4f7f36d2d	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	Except2FunTuple	TlcEval	True	Passed	Model Under Test Equivalent Model
f026d5e8e331709a50c08621067f08d37124842b	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	Except2FunTuple	TlcEval	False	Passed	Model Under Test Equivalent Model
8280742ea3e56b842ff4ec502d83a76280a1789a	Apalache	Except2FunTuple	SeqHead	True	Passed	Model Under Test Equivalent Model
e07222fc04d5e683ffa86838fadd478e22a961f0	Apalache	Except2FunTuple	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

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