Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
9783dcc47bdc5fa0e85c2527f6fdd351b01d8cdb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TlcExtendFun True Passed
35ffa07e9e2e5d3ec0126e7954e5429380cabe12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TlcExtendFun False Passed
3680e2313a68b1e87a43f62e28ebb67b56669b34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TlcExtendFun True Passed
7068e20d58ee8a5fb43be7d94f7084b1bdf80943 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TlcExtendFun False Passed
4b22b51f320fdca8fa519410386be4ca8ca5d41e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TlcExtendFun True Passed
3a2956c78ced6b2110f017f5c00b9e199d62c55b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TlcExtendFun False Passed
c39c6b65465c6e52737ce930c8993fc6680eda8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 TlcExtendFun True Passed
ab6cd1c2b459c927d8b628c07b6217244b06a5b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 TlcExtendFun False Passed
6d86f421eb487a897e6057588007a47660629487 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TlcExtendFun True Passed
af9446a8f03fb849e291d9f6991dd7c9fcf1c6f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TlcExtendFun False Passed
ddfcf54aa60e296b9bfb0bd0e7d6c2885e2cd34f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TlcExtendFun True Passed
7df98a05a3ce3ed75280f4ef0a3f4ac77c36ebd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TlcExtendFun False Passed
9e48bd692d9f5439d105cc51185a073daa677ea2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TlcExtendFun True Passed
363039d42b61341c24b26b3455de6e77398866b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TlcExtendFun False Passed
fa17173f39946255fce67ceaff63e04738108acd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TlcExtendFun True Passed
3e2548b7365c17bb2d1958f67bd67e44b7fa4001 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TlcExtendFun False Passed
f2c3536e42e2b30b882d4cdd07ea8d5aaeecd8eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TlcExtendFun True Passed
0328bbb1d5dd90c4b4b4f14cea36d6c523391caf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TlcExtendFun False Passed
2ec1d89fe95d4648eb7c1bc4fca3774d7128ae70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TlcExtendFun True Passed
31bb92cbc65c68ea459fe9b25958b2391e908fe8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TlcExtendFun False Passed
ce4d71d74e999aef48b4ea35deac306f22134a6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple TlcExtendFun True Passed
d1e144be8e2372f0f6fb762da6c8e8d80eba1f11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple TlcExtendFun False Passed
aade382773a2bda1f1e3678be0765ef339456ec7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TlcExtendFun True Passed
1d44b9e0cff2318f2752061625e68edb24b4eadc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TlcExtendFun False Passed
c862b7a7261c7dff5a48066049cac98a6fa3cab0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 TlcExtendFun True Passed
40284dc39fb831727b8c1ce012ab4b909400891d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 TlcExtendFun False Passed
c3790720c12c3679def70a5c2092a8e025da2402 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TlcExtendFun True Passed
0a9b6e17904195d454c92321746205a360a88610 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TlcExtendFun False Passed
68060853827c4d3aeea820320d2a2a8d79496ad0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt TlcExtendFun True Passed
8c0dbc124f582e39aa2942498e65c0d67b7e0be6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt TlcExtendFun False Passed
b03ee8c440365b4b62226dce23b56ac2ef5011da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TlcExtendFun True Passed
b87e5daf17e07d824405dcf55e859ee10c98f2b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TlcExtendFun False Passed
0ece7a670d27afcee9035430a345dd357d5b0e51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt TlcExtendFun True Passed
6fbdd90e87a4ffd29d61584bd332b271110e9e14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt TlcExtendFun False Passed
bc5abec06e7c2f16fb7ea44824e6ba59051ecb4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun TlcExtendFun True Passed
25c2ba42210d4d5299b1b20a12ce878bc38f9cb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun TlcExtendFun False Passed
3752f53eed3fa95044eadd6c13f798d1d79cd1dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TlcExtendFun True Passed
551c0cbf7a6fceb32ccbabcad150fff578261f87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TlcExtendFun False Passed
1ee97c6cb91ca4213efcc412e5f2ca3618e07609 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TlcExtendFun True Passed
ac0ca7d1f61e37676f50c5893ef8fb9eca297b26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TlcExtendFun False Passed
af6ae373c75a61ec032d89cd5b7793822e2eef9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TlcExtendFun True Passed
2db0c215ab0636780b7824ce99b3e7cd2440c1c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TlcExtendFun False Passed
d054bcb456fb8e46408708ad3e34f7cf3fb0e891 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TlcExtendFun True Passed
5b8494a800ac3bfbbc2b29bdfce137144b8d8504 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TlcExtendFun False Passed
59146b660523be324234d1fdd0a1be186c12708f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive TlcExtendFun True Passed
eb7c00ade4fe32f036f75997efb2280febb832e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive TlcExtendFun False Passed
6f1ed4e658c8bfa1c3f5d3fd248a3820b7e794b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TlcExtendFun True Passed
e810dbe1dae6ab1b07fe2809f3f30ff7ecad4e87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TlcExtendFun False Passed
56703eab6148d4abe2a2f19c30f2d765f397ca74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 TlcExtendFun True Passed
5a73309e87d9b67b534069b365d30b3188bd94d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 TlcExtendFun False Passed
ddb160512a3c8ccf882679858bb04a8af06948a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TlcExtendFun True Passed
b84da89e29a249895db22da115d44185b6bb5404 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TlcExtendFun False Passed
40b471a45e6ca8f04577172c46de17475ec22a22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 TlcExtendFun True Passed
1f940393622403c50b598d758ef870631823d343 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 TlcExtendFun False Passed
0076074f0154b6b64f7eb20b2751fdae60d76ebc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TlcExtendFun True Passed
77eb30c38c1d2f384198e7ea52f5d0d948dc7f54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TlcExtendFun False Passed
9d4dce16196870a81ef406ee08c101949b6fa948 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 TlcExtendFun True Passed
3b20d6b004bd531da4d2fba284c0fcc71fd33a31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 TlcExtendFun False Passed
d9545ea66e27ea4774b7bf35d1c81f1059540de0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TlcExtendFun True Passed
df0c1a57ac6c514b86acd0f3215f099921518b19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TlcExtendFun False Passed
90f09b86302caa2bd57bb0404bf0c9a8f748b9ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive TlcExtendFun True Passed
b78a692656543a4f98f8802c70e8430613944449 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive TlcExtendFun False Passed
13ad0c7a8ef98fe3698b9e06024d0ef9c0463058 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends TlcExtendFun True Passed
cb6cdb6d6f132b55017da79b3d71a0fd819100ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends TlcExtendFun False Passed
7fbba9e20cb7caf252ecfa6a4c8ff0b516fca187 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TlcExtendFun True Passed
9cb57b894ff6e8f015b034d7feab373847f58d14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TlcExtendFun False Passed
46483a4a9e17f7d5641155ad6a10092df260fff6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TlcExtendFun True Passed
23d82ba8b45b940101255c43c7015240930e1e37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TlcExtendFun False Passed
b90b9ba43d1cce50556de89228fcf5fe12dff1f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TlcExtendFun True Passed
a4bcda7b4a4dd72a914e8e77bc9d6f5b906583ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TlcExtendFun False Passed
17fa05d18d5718464f453d73a1db7a448be60e10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant TlcExtendFun True Passed
2103427367d80f21526981e366f2ec4400151b01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant TlcExtendFun False Passed
e6621d29e724c6cf7586fe669e6e257dfc203809 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TlcExtendFun True Passed
03518cf940d3e349ecc8b292f37c94f698d967ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TlcExtendFun False Passed
2945049134cb4d7cc9ce8013761f944b34df1f5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TlcExtendFun True Passed
205551cd009f87dc8708931db44481b76d0db74c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TlcExtendFun False Passed
34565f12d362ce916701a8897a043da53adf6f41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TlcExtendFun True Passed
9edbac6fe58f2699987f1c5e9b301cc4530907e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TlcExtendFun False Passed
24962c2ac599d204c87b5379412ba0bbbf6230b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TlcExtendFun True Passed
b8a41a62f907e6d4840dde1b6757857a72833d29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TlcExtendFun False Passed
1ce8b10517b9dacb0debe1be373c5f8c9f8d992e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TlcExtendFun True Passed
839d206d90b5f8e8e0294b50fc40709ea8937275 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TlcExtendFun False Passed
64d136a3cbd3e60d5a6282e1ca01193d6059f3b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TlcExtendFun True Passed
6828088e4b0f9307a75fa1085a431f73654c69dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TlcExtendFun False Passed
34a50b151fd2b7be815e5256f5a6ba83fe315f22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TlcExtendFun True Passed
3a1bd7e9a8832974cba940d28e147cc3e2254b16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TlcExtendFun False Passed
6a3e0744b54e38fdd6ced533414e7b0be4c94674 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TlcExtendFun True Passed
966b1e600997fee5b9470125cdd501b32ca975be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TlcExtendFun False Passed
5b71f3a791650d3d6ad18ad392f092ad40dd5e1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TlcExtendFun True Passed
28801437adfc137e18af46e27f013dbffe188bbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TlcExtendFun False Passed
402462389bb0f4e77db798318fe77b83bd58f81a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TlcExtendFun True Passed
a6559e4f5e8186ccc5c3b9dd9051fa9fb8b420af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TlcExtendFun False Passed
f3e615e10ebc30773e12e85c3105b0df7d795f32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TlcExtendFun True Passed
56f824a406a9e346a8fcfdc891bfee253313ccb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TlcExtendFun False Passed
128b2d21fe701c1756dd815c0b632d4e21b743d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TlcExtendFun True Passed
5cd5d92ef9d0eb9611bd8311089fd0d6f9c9e0d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TlcExtendFun False Passed
8480b9b7f15a62b3188d876abb8c4511cebe9182 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain TlcExtendFun True Passed
42ccd90426d78641f6b4e8e22765b7510a7dba96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain TlcExtendFun False Passed
8b02059966e420398bf1d1629d88cd35dca9bd6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged TlcExtendFun True Passed
5e86707d88bfd4e0456f68201a22a695f03790cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged TlcExtendFun False Passed
70dac2e0b277d1b3bf64c486289ee966dd78a4c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TlcExtendFun True Passed
b39b2d8522ffffdda13d8690c7fe5402b066a567 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TlcExtendFun False Passed
065e8b3aff6e4b1a6cb0d9ecefe0054f9e5f447a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun TlcExtendFun True Passed
2f368a730ec6875f37143f0ecb28859298b05700 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun TlcExtendFun False Passed
c7f43d8da744df9ac7d12341b791a3ed3318850f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TlcExtendFun True Passed
fcd94921dec34156c0bf6902a97f8647057231a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TlcExtendFun False Passed
68d3f30c90a2ab681e86a5be0ba2a0f6a4e1064f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TlcExtendFun True Passed
5a812386bbf1b9926b59067b7849aa8f3dfb785f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TlcExtendFun False Passed
cf0d12db99cb3b40993a894a3b9ffebb323ecc52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TlcExtendFun True Passed
3305e80996f4403012b5fb9a40b795119c16ceaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TlcExtendFun False Passed
a7f802bd56b4c12a3c1b9ea5e2d9f7354e00d244 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TlcExtendFun True Passed
9d0cca92562e4e1b8b059875766944bb4c23eece TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TlcExtendFun False Passed