Index

Tests by plug feature TlcSingletonFun; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
ec2b04c5eb8bbc9643e66509c9fb4512c77e7612 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TlcSingletonFun True Passed
181016264e84d97a1181a23ab6fed12e8593fa20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TlcSingletonFun False Passed
72f662d22876adee43bb757884fd19967ff22533 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TlcSingletonFun True Passed
1c87099805b16034d4306b3b146214837d825e3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TlcSingletonFun False Passed
72ae49247424774bd70daaa18e5e45298ebec9c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TlcSingletonFun True Passed
b2961a4a0cddd80e51afec69d74e698cb94459cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TlcSingletonFun False Passed
091f8d55c78a77ebd901f04a6b3f7dae87afa57e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 TlcSingletonFun True Passed
7e55039f5ae807db5e157e573dd4d6e85a6c9bf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 TlcSingletonFun False Passed
e2f63ca63a3d5f6f59b45b65f17dae57d0e9c719 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TlcSingletonFun True Passed
e78588a0be5bb5ac9c7574f71f313051d4a4feca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TlcSingletonFun False Passed
57502c92326dc214f6847c43b8e55518f078bcf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TlcSingletonFun True Passed
ed664084594c6619bca1e52fd232937f160a1bb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TlcSingletonFun False Passed
8df22ff3bb792424d2665dd9c1ae482e0c094b16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TlcSingletonFun True Passed
51b71cd535d59005744e12b0df3bfab45c2c8bd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TlcSingletonFun False Passed
83d64fcbf4ffbffd5976fb254f78fcea0ec73735 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TlcSingletonFun True Passed
15d790be6f3b1595c7e9befe56bdb77d85b1933e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TlcSingletonFun False Passed
465770e371026c5c272e1454fae2562937dd3cd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TlcSingletonFun True Passed
7d6e92c1f40498d9e43f9bf7e0e9ff0f36afe27c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TlcSingletonFun False Passed
e0067ac8c1198956e7014830dc94fbabfe1a91c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TlcSingletonFun True Passed
1e92964eed162fa239170ce5b4665a07bb93900b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TlcSingletonFun False Passed
eb09929f453071226c58bc9095a2133b3abb1d50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple TlcSingletonFun True Passed
c10af4b6b3b67fe79bf66a74c8f83b4d959c48e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple TlcSingletonFun False Passed
fc559d2d9f0c366776bad5110c59741b12d309fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TlcSingletonFun True Passed
2271d462cd93297d81b622cff9804cec624b7dc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TlcSingletonFun False Passed
25c0678461f0a8beb0f0e226e74dfff39851199d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 TlcSingletonFun True Passed
7a3128199acd7f077cc1269a8180e21b58aea313 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 TlcSingletonFun False Passed
a6ae1901673467462f3953c109ff9ac0c192c926 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TlcSingletonFun True Passed
623e12116ce60085eb95a9be1d00ac4af33db838 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TlcSingletonFun False Passed
3caa800cbf0296b3b20a1f9572a1da1b3ed504a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt TlcSingletonFun True Passed
e7862a15e2cea857f63f01037840ec90ecfdf239 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt TlcSingletonFun False Passed
89c8afef08a09d4ff92696b23dbb3285febf7c1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TlcSingletonFun True Passed
c13b961aac308d26fc22f9c629f7351f4aff1786 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TlcSingletonFun False Passed
1df44bdff777244ff0bbaddbbf6aa807b3092a51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt TlcSingletonFun True Passed
d76d5726282fb5b53c04d36ecc718ddf17646de3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt TlcSingletonFun False Passed
f28874b1823730385a6d9d4227a13100cf3d6fba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun TlcSingletonFun True Passed
21e29b34bf13d1c2e89201542c2270f412906aac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun TlcSingletonFun False Passed
e661f1c1281ae39d8e4869eb3e8b08c1a7b1b5c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TlcSingletonFun True Passed
ee07375f39a605033787d13f6a0a109abc408e9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TlcSingletonFun False Passed
69871cde8ab883a14272562d72b2ba3110ec6f53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TlcSingletonFun True Passed
2dcd6853c3ab4a8529c54588f3f008433a051595 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TlcSingletonFun False Passed
0d71539db7c7747d897adbf7b097e0b426310073 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TlcSingletonFun True Passed
e7499854e1a398070fbde52c1d52905b06de9c8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TlcSingletonFun False Passed
3e7da917b1927e3d9a0fdedbe66a4bd016a88ea4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TlcSingletonFun True Passed
c309668de8b951321efa52e8bb2976ce2380c67e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TlcSingletonFun False Passed
25697902ced29af3cbdc5fb8043aa9873bfe1257 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive TlcSingletonFun True Passed
1dd283aa0180fc74113b7c264540d665c13ba8d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive TlcSingletonFun False Passed
5be9c0a6baa33e08ec53dfe7a31a710c9f562b9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TlcSingletonFun True Passed
75784a3b40948d4f682de5263f7c32f419f240d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TlcSingletonFun False Passed
6cbbfdd654d693ee7857f31ed8a0df1d3a8dae01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 TlcSingletonFun True Passed
9223b83a88f668c7aa43eef6e0307bf0e3989f8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 TlcSingletonFun False Passed
bde7aa6261c8fcade6266081e3f3c313b93f1199 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TlcSingletonFun True Passed
398c4b5da15d96a2759f0032646bb64dc0b941f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TlcSingletonFun False Passed
30debe1ea0717a7a69d02d7c489daa1a871c42f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 TlcSingletonFun True Passed
15f6e2e39ea7ccbb4e079c57392eb199014a5a60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 TlcSingletonFun False Passed
1860c655cdbc75bc4c69af2fdc2240f2e9f961c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TlcSingletonFun True Passed
40b634e10231ae9d96e7917ff418b81868adab00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TlcSingletonFun False Passed
ea193427e8c02099d277660784b8a653978da0ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 TlcSingletonFun True Passed
a1f6b8e5c5961ec0a73ab02359373efbe86f4ede TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 TlcSingletonFun False Passed
a6721d9a732c9ae43304dbee083dc8a4aa8cc02d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TlcSingletonFun True Passed
274b7efb923cfe4c7ebad757ab58ed0347530859 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TlcSingletonFun False Passed
77b200891b828b7e222db791d0d216b36bf1dbd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive TlcSingletonFun True Passed
b4b2bc0a270ee92d09e5314a6b0cd86047775af6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive TlcSingletonFun False Passed
76137d3d938357d5415519df2f671bc4b8423392 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends TlcSingletonFun True Passed
1319e1acdbb4a2bd9c775e6303e5a8cccabf64ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends TlcSingletonFun False Passed
c53796ac23f33bc4ed191eaa24c93308dfc25678 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TlcSingletonFun True Passed
9003e8814a0c43e73873e3458900fd4334cbb301 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TlcSingletonFun False Passed
f8f6fe4cbbbb839f84902cc64b238204177cc61c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TlcSingletonFun True Passed
01c7854861f47ec84602f3b55b2533bc318e4b58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TlcSingletonFun False Passed
f501658f7d9eebdca07f415b8f7f5cf2ff1d3087 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TlcSingletonFun True Passed
81b121687518816241eb37feb0463941d49659a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TlcSingletonFun False Passed
5593184355f29e7c6c7c03e4f73fe32fc814d712 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant TlcSingletonFun True Passed
b28d7b2f23f4c731f0a270d8a2150ab7c31890cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant TlcSingletonFun False Passed
cc3c23dfb9ee92847eeba47abb666fb3c30cf196 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TlcSingletonFun True Passed
a0ffffa0c3854dc65f2309cdb27175be186b5e5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TlcSingletonFun False Passed
666e3979bda3e8dbadde4c078c140948a374b781 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TlcSingletonFun True Passed
b53c141963434d27b5248996fe6b02d6e474dc80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TlcSingletonFun False Passed
c1d4f7f71635e682c59e3ee532d9f3227f5a795c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TlcSingletonFun True Passed
fc3d087be81dda31fed1556cbe9879a930e029ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TlcSingletonFun False Passed
f3c3e978120c797d7aaa7d328009f83e6b4f0e2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TlcSingletonFun True Passed
e590e0ea4327a2c037bbe4df23998e4dfafb9b77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TlcSingletonFun False Passed
b1f5bf9eaa829d5e7013c34d8bb90ad472842594 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TlcSingletonFun True Passed
78f346d51644388db85b35e2ed884ed11dbfd94d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TlcSingletonFun False Passed
43c463f3c16ec30c3a0fab4500f048a849190452 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TlcSingletonFun True Passed
2bef4a23d08ac36c2ed81edc27ba01f892bac737 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TlcSingletonFun False Passed
6e9d7f62855e8402d61855092eb07120a3f77d25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TlcSingletonFun True Passed
22b3a92f63c361dc7638b015c6381f267edb4c37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TlcSingletonFun False Passed
6176e43e55b815724947bea8637ec77e6810df56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TlcSingletonFun True Passed
a5169b8d9d046f9375696479492c06a9ab1f38fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TlcSingletonFun False Passed
fe4e472e1007348362a587afb9f884deff998d38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TlcSingletonFun True Passed
0e2a0c3d5458a247b6b10f3fcedb373ba368944c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TlcSingletonFun False Passed
a4934b7fbf793191558f2b3644b7567376efe10b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TlcSingletonFun True Passed
89ba86cbf4151f4068c05080376adcb492e0f126 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TlcSingletonFun False Passed
2a86d76b93a8953564370764cfbfff755e93d87f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TlcSingletonFun True Passed
ce997f5e7098aaddcb00a0527b496bc6f2b92187 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TlcSingletonFun False Passed
be715959afd673c19a83245606f23701e073707e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TlcSingletonFun True Passed
95f82d280528069a9ed26603a6af47cfbf76940b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TlcSingletonFun False Passed
1f10b6893a6db2f5824bd59e4c3b6f4afe50db9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain TlcSingletonFun True Passed
884d977d9103b4cdfa48209c9bc43912a5244f04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain TlcSingletonFun False Passed
63e039001efeec125400dd5817cbf4acfa175a4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged TlcSingletonFun True Passed
6aea449d2e58b4fa9029f9ef4f31bfb844a762a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged TlcSingletonFun False Passed
c489200d2a1d59eb234c9e27943f21983f789e89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TlcSingletonFun True Passed
15a9c695b2f9644c9b6a0cb8c0771fdc37dbc6a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TlcSingletonFun False Passed
06b0302f269024cbe746be6371b7f5bbb6ac16b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun TlcSingletonFun True Passed
75356b5a40e09879ca61a4b0d9f571f4e268630b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun TlcSingletonFun False Passed
10e432ccde1c00e30e32eec6de6b1637c7b7e6b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TlcSingletonFun True Passed
605f8c745a76006e26548e553d492538346a9359 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TlcSingletonFun False Passed
a9e044590182250b162448555f0e6b829f7f468a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TlcSingletonFun True Passed
8de008cbb60a2b6f84fa5941bc9571a725aa6387 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TlcSingletonFun False Passed
15116735b83b1fef1ecc9b6b4864e2be2e654f6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TlcSingletonFun True Passed
01ad789c8e57143b7bec1e0afcf86ed7304c6c5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TlcSingletonFun False Passed
955da6eb9c03d19e63f5b51934bcf353f131c556 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TlcSingletonFun True Passed
bcfa474cd464979d0fa5623d95c9d07f11e28ffe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TlcSingletonFun False Passed