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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
20fa84c7f6043f643932fd03beb9f8adbdbea3f3	Apalache	Eq	String	True	Passed	Model Under Test Equivalent Model
452d7e1c1cca6037731cfe9334305336ec743fde	Apalache	Eq	String	False	Passed	Model Under Test Equivalent Model
312db331a90eb456063c9af3482c9868a176dff2	Apalache	Ne	String	True	Passed	Model Under Test Equivalent Model
b25b2be78fe7f3c719ba582f62f152aaaa04eba5	Apalache	Ne	String	False	Passed	Model Under Test Equivalent Model
5e8dc2fd86c1d44311ca97b42c247f01ba06edbc	Apalache	Let	String	True	Passed	Model Under Test Equivalent Model
01ea371bc4395544a124e7513048dd1a8a8c97ef	Apalache	Let	String	False	Passed	Model Under Test Equivalent Model
340e231df507d2e7c0abc2b8b76d62fcfc9e6bb0	Apalache	Set0	String	True	Passed	Model Under Test Equivalent Model
d80571b51c90e25c64c197613ee09af8d30b315f	Apalache	Set0	String	False	Passed	Model Under Test Equivalent Model
5b2e072715dae9f7978caf5b69fb6233904b02ee	Apalache	Set1	String	True	Passed	Model Under Test Equivalent Model
08b9e554c47af76d2f866936bfbf7e2ffc85703a	Apalache	Set1	String	False	Passed	Model Under Test Equivalent Model
1a8db90ed031ce7b3deef917daeea2fef0ab848e	Apalache	Set2	String	True	Passed	Model Under Test Equivalent Model
7f648feb7af1d793526ab81bb0245bd6c8264c7b	Apalache	Set2	String	False	Passed	Model Under Test Equivalent Model
a7b8e4efdea6422b60c2749e3f355dca218e591b	Apalache	Fun	String	True	Passed	Model Under Test Equivalent Model
0f10aa085914b89a79c92204aaa6d7da25d77db6	Apalache	Fun	String	False	Passed	Model Under Test Equivalent Model
f68b4bab7268ead1ceb4f0826e9ff19e40d04d44	Apalache	In	String	True	Passed	Model Under Test Equivalent Model
5ae29c1838514df4042f8d21e9407204f0396bbf	Apalache	In	String	False	Passed	Model Under Test Equivalent Model
2755b1e00cdf674f40b8f5030f43d6b09e4db127	Apalache	NotIn	String	True	Passed	Model Under Test Equivalent Model
64178ccef1e1a18b11e31f2843d01df898e340ad	Apalache	NotIn	String	False	Passed	Model Under Test Equivalent Model
c798c14896583188bdfd3400d0c173380a3dd0d4	Apalache	Record	String	True	Passed	Model Under Test Equivalent Model
090d90501c00e8111dfafdf28a60e326dd5464bb	Apalache	Record	String	False	Passed	Model Under Test Equivalent Model
455e537ee8fbfd2db28348ef757c04275da898c2	Apalache	Tuple	String	True	Passed	Model Under Test Equivalent Model
9e507c29fa869789c7ce1fbab6e4c8f2d792e116	Apalache	Tuple	String	False	Passed	Model Under Test Equivalent Model
881b35a78b1e431ce2456417b71b8257ce0a96ed	Apalache	FunApp	String	True	Passed	Model Under Test Equivalent Model
41db0a2a80494f925128440fd2f6aeeaf9d6fe3a	Apalache	FunApp	String	False	Passed	Model Under Test Equivalent Model
58cebb4190f3a1ea4e9c65da77656627e408bc6b	Apalache	Except1Fun	String	True	Passed	Model Under Test Equivalent Model
40d095cc4d050456a212ebc4b5ed9b09b4cd3301	Apalache	Except1Fun	String	False	Passed	Model Under Test Equivalent Model
38cfce6a8c61f70ae325516b2cc99d84a8b83f88	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	String	True	Passed	Model Under Test Equivalent Model
66409a2879c5f112761e8a7f6829df6081ac6e3e	TLC with reduction strategy: Case Feature: @ is reduced to F[arg]	Except1FunWithAt	String	False	Passed	Model Under Test Equivalent Model
58790d249a10416a52ab1e4a25fcc609ef611998	Apalache	Except1Rec	String	True	Passed	Model Under Test Equivalent Model
1a3860808fc6b04924aea500c86c296c3a81c219	Apalache	Except1Rec	String	False	Passed	Model Under Test Equivalent Model
4f18820e0a4ed0db87252e3f8d9d3dbd30ea59e6	TLC with reduction strategy: Case Feature: @ is reduced to F.arg	Except1RecWithAt	String	True	Passed	Model Under Test Equivalent Model
6588685dbc201a4a4a56f9c0d77a861240744801	TLC with reduction strategy: Case Feature: @ is reduced to F.arg	Except1RecWithAt	String	False	Passed	Model Under Test Equivalent Model
ba0888613ca22b3a1aa9085295acdb3a62ea1508	Apalache	Except2Fun	String	True	Passed	Model Under Test Equivalent Model
ae5ee85c0842e06cc61a5cc1eaa357341d252cdd	Apalache	Except2Fun	String	False	Passed	Model Under Test Equivalent Model
6c2a45ce8c94cd587b1266e50f00bb3fd18a9106	Apalache	Prime	String	True	Passed	Model Under Test Equivalent Model
9e75883aad5ea0aad7b726d3c7ac168bae752fec	Apalache	Prime	String	False	Passed	Model Under Test Equivalent Model
b92f0855cf6163016ef83a53f6dbf019ef9b474e	Apalache	DefFun	String	True	Passed	Model Under Test Equivalent Model
d6e6f4e7649882ced7647a5dff3462bdf3602ba6	Apalache	DefFun	String	False	Passed	Model Under Test Equivalent Model
3e560d7c9dbdd3c38a8b520ca2de087298b70657	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFun	String	True	Passed	Model Under Test Equivalent Model
d5e696eb8c5d8f3d6862d8209e398fc5d18b23b7	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFun	String	False	Passed	Model Under Test Equivalent Model
41d7a79625f0793c32a22c86e733f4e6ab9a7464	Apalache	DefFunRecursive	String	True	Passed	Model Under Test Equivalent Model
df922ef09231b516cf21a69624060bc237336b22	Apalache	DefFunRecursive	String	False	Passed	Model Under Test Equivalent Model
b07c6e4dbfb85716806df7205753792080b38a8d	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunRecursive	String	True	Passed	Model Under Test Equivalent Model
a453f243910a104a4d4a6532ea52cf2cb135de8d	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDefFunRecursive	String	False	Passed	Model Under Test Equivalent Model
67e04ca09861a7928a6ab909820aec9473665630	Apalache	Def0	String	True	Passed	Model Under Test Equivalent Model
b22e780aa8933a2534da559157d4c2d531ed8dea	Apalache	Def0	String	False	Passed	Model Under Test Equivalent Model
7407e3c03edd92f6f1cc5af10111c63482cd2bb7	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef0	String	True	Passed	Model Under Test Equivalent Model
139c5ef3aedd1379c51e3cf08d9c12278813a44c	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef0	String	False	Passed	Model Under Test Equivalent Model
b8cf41322e8694d7b87c94a04293ffaf243dd4f0	Apalache	Def1	String	True	Passed	Model Under Test Equivalent Model
0418e2022a45c8d20c6b45e0d47eb8db4e3176f7	Apalache	Def1	String	False	Passed	Model Under Test Equivalent Model
176072e50e58f811a41f52873e3033440d4ebcc7	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1	String	True	Passed	Model Under Test Equivalent Model
ebf98a50de770b802f4d53d01c597d887cc5c501	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1	String	False	Passed	Model Under Test Equivalent Model
edac4f7bf84888f6865e9d9a33907f8ab392213b	Apalache	Def2	String	True	Passed	Model Under Test Equivalent Model
32b908aca74a67976ed216cf589ba39463b4eb45	Apalache	Def2	String	False	Passed	Model Under Test Equivalent Model
5fc4da03893b56c86931c8f385630367a3f46dab	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef2	String	True	Passed	Model Under Test Equivalent Model
50c6db9a8cee6043b10b24c829fd09250f02406b	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef2	String	False	Passed	Model Under Test Equivalent Model
b8bdbeb2de673325bdae4b65bfa11038880b265e	Apalache	Def1Recursive	String	True	Passed	Model Under Test Equivalent Model
881754f3a17fcca2292bb55d2747c225e5ea8446	Apalache	Def1Recursive	String	False	Passed	Model Under Test Equivalent Model
3fc67d95af17798a7b9885a9bfdbe2d31523ab37	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1Recursive	String	True	Passed	Model Under Test Equivalent Model
033146f5c9d36457283c8d7cdb889066b86b0c91	TLC with reduction strategy: Case Feature: LET definitions are reduced to global definitions	LetDef1Recursive	String	False	Passed	Model Under Test Equivalent Model
b840e1d5b1973bcbcb0efc1c2e9b558f21cc4433	Apalache	Extends	String	True	Passed	Model Under Test Equivalent Model
c19cd6e3473851e254e84a5341dee91734a6c73f	Apalache	Extends	String	False	Passed	Model Under Test Equivalent Model
fec32b8bc1ebc60337ddba10fb4a3413935dee6e	Apalache	ExtendsInDifferentFolder	String	True	Passed	Model Under Test Equivalent Model
47b5ea669295eebbec31700bb571c14c47c6de85	Apalache	ExtendsInDifferentFolder	String	False	Passed	Model Under Test Equivalent Model
f779d972260603c0c5fee2ed1cd20724c4e04946	Apalache	Variable	String	True	Passed	Model Under Test Equivalent Model
7beb3061237ea1101228243862a00f3fbeea27cb	Apalache	Variable	String	False	Passed	Model Under Test Equivalent Model
d707b421f44dca13b8dc949cb817adf99d2461a8	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	String	True	Passed	Model Under Test Equivalent Model
b0c3cc6caa02484761704af7394841d004bd9836	TLC with reduction strategy: Case Feature: Model with VIEW is reduced to the same model without VIEW: VIEW must not change TLC behavior	VariableViewExclude	String	False	Passed	Model Under Test Equivalent Model
4989f2eff5f66fd9599f1552a74e5addf2f9a376	Apalache	Constant	String	True	Passed	Model Under Test Equivalent Model
8471a56d80d2e5a4ca90b2f8ba11ea2dd3352808	Apalache	Constant	String	False	Passed	Model Under Test Equivalent Model
9bae3d131693641339543685ca62084729f020c2	Apalache	ConstantRank1	String	True	Passed	Model Under Test Equivalent Model
536a7df20bd8bea044c06fdfa834117ca23a6e87	Apalache	ConstantRank1	String	False	Passed	Model Under Test Equivalent Model
1dd9aebeac241e965ee6d0ff80b99e3cffb54e8a	Apalache	Instance	String	True	Passed	Model Under Test Equivalent Model
ec6d08c769f69bc30dda0224fe94c371d50da227	Apalache	Instance	String	False	Passed	Model Under Test Equivalent Model
c8dc5fc08fbe6bf593fc15a1bd58869ade50602b	Apalache	InstanceWith	String	True	Passed	Model Under Test Equivalent Model
19727abe819db05eb53da30a3c123536eede5b23	Apalache	InstanceWith	String	False	Passed	Model Under Test Equivalent Model
cf4d47cfcb4f99fea2d16aa2b66155bcc549fca3	Apalache	InstanceNamed	String	True	Passed	Model Under Test Equivalent Model
f5d2ff0a0f27669d2606b41a128a1902087fc013	Apalache	InstanceNamed	String	False	Passed	Model Under Test Equivalent Model
d2ca65f08a4874aaefb096291294e392c06adfea	Apalache	InstanceNamedWith	String	True	Passed	Model Under Test Equivalent Model
01b282d82a7ef153206784db171a0bb9aaab3898	Apalache	InstanceNamedWith	String	False	Passed	Model Under Test Equivalent Model
d880b7a3ff5380d9ac34dd66adb35e131242639b	Apalache	InstanceInFolder	String	True	Passed	Model Under Test Equivalent Model
7673f33431f72fdb64efee5ffe79ff5715d591e9	Apalache	InstanceInFolder	String	False	Passed	Model Under Test Equivalent Model
aad4b07b8e3e51562b659dc5b86c292a5f4cd3e5	Apalache	InstanceWithInFolder	String	True	Passed	Model Under Test Equivalent Model
6287635b3fce79599338f0f0c4dee35c0d5f7d71	Apalache	InstanceWithInFolder	String	False	Passed	Model Under Test Equivalent Model
3eb74a78d4fc82cd883d264893bfbf2d28b6888e	Apalache	InstanceNamedInFolder	String	True	Passed	Model Under Test Equivalent Model
943c4311ee1f75240645956b395fef8e0594a060	Apalache	InstanceNamedInFolder	String	False	Passed	Model Under Test Equivalent Model
4c79abc2a738bbef7ec0c8c16098fa0ae7799e88	Apalache	InstanceNamedWithInFolder	String	True	Passed	Model Under Test Equivalent Model
23b09164146186fef04c31459bb312d923e6ff30	Apalache	InstanceNamedWithInFolder	String	False	Passed	Model Under Test Equivalent Model
fd85efdc9e2981d715c4a86fcdfc172c34c7dd55	Apalache	Lambda	String	True	Passed	Model Under Test Equivalent Model
dbea79b52dea60f567a8ec5b5478730b8fde6d00	Apalache	Lambda	String	False	Passed	Model Under Test Equivalent Model
d9ee1314d95d666cd94dfe3b0d232e022353d56a	Apalache	IfThen	String	True	Passed	Model Under Test Equivalent Model
e37eb0ab7576a721d9c59ba45a8879845bfa4b0a	Apalache	IfThen	String	False	Passed	Model Under Test Equivalent Model
76cbd8d6d0ebbb93566cb5923a215dfa8abcd110	Apalache	IfElse	String	True	Passed	Model Under Test Equivalent Model
7001f092255baf1421efe4db0577f80282546723	Apalache	IfElse	String	False	Passed	Model Under Test Equivalent Model
973c9b479c0b444833ef980ba6e365b47bc0011b	Apalache	Unchanged	String	True	Passed	Model Under Test Equivalent Model
aa534e35baf1457e3d88f2d484a4ca58f85865d9	Apalache	Unchanged	String	False	Passed	Model Under Test Equivalent Model
b589fde34c9f085b6707da13986d265c34125678	Apalache	SeqLen	String	True	Passed	Model Under Test Equivalent Model
dd41abb7113b86a4b5ca4e5bf6e6294455b44f03	Apalache	SeqLen	String	False	Passed	Model Under Test Equivalent Model
d912c65fcc00c8bd546bff690e4fc3e16a9b59f2	Apalache	SeqConcat	String	True	Passed	Model Under Test Equivalent Model
79cda1de26375ac81a1b6c2d973fe85e6d1da71b	Apalache	SeqConcat	String	False	Passed	Model Under Test Equivalent Model
ff377c4c92e2243b3b5519ae7b919407dbcdc94a	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	TlcSingletonFun	String	True	Passed	Model Under Test Equivalent Model
79a1a82d74af3e05e84e76936b8c6d4f97052d03	TLC with reduction strategy: Case Feature: x :> y is replaced with equivalent [u \in {x} \|-> y]	TlcSingletonFun	String	False	Passed	Model Under Test Equivalent Model
90f7376eb95adb30e9fca23a4043fdfb204bbd38	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr	TlcEval	String	True	Passed	Model Under Test Equivalent Model
9e37aa63e976720e9990aa99916a4a857e0cd9cc	TLC with reduction strategy: Case Feature: TLCEval(expr) is reduced to just expr	TlcEval	String	False	Passed	Model Under Test Equivalent Model
10b7cd012d7b478026e23b6e7035130893344272	Apalache	BagBagIn	String	True	Passed	Model Under Test Equivalent Model
f6a7b10742d9aa03b46af1391f2f9d7d503b686a	Apalache	BagBagIn	String	False	Passed	Model Under Test Equivalent Model
55cbe3a94637d6a244c7879c3789b2bc701acfa4	Apalache	BagCopiesIn	String	True	Passed	Model Under Test Equivalent Model
1b2534c753806f8af528afcca79be1487c40bec3	Apalache	BagCopiesIn	String	False	Passed	Model Under Test Equivalent Model
300eede17a3775d435e18d5c369fe3309704e704	Apalache	SeqAppend	String	True	Passed	Model Under Test Equivalent Model
c7014431c147ad927bc45bd5364df95b7abe2a71	Apalache	SeqAppend	String	False	Passed	Model Under Test Equivalent Model

Index

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