Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
ec2196c441c3bb555e0ddd3822f609c85fa46a23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And ExtendsInDifferentFolder True Passed
94b085041fbcf7076eaa1f63ef14b6a768266882 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And ExtendsInDifferentFolder False Passed
2147b2c89294fa359cfae86b65e6555d66be4211 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine ExtendsInDifferentFolder True Passed
75aea1316adbd10976a5b8ebb48a7cadbdcb515f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine ExtendsInDifferentFolder False Passed
d5b953f8e0b7beb8df3e4bcad5c2a1150db06284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply ExtendsInDifferentFolder True Passed
4c98778dc72e4b2580465353ee071939fdaa3813 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply ExtendsInDifferentFolder False Passed
2dc821b0df2e7a7e5f924b8487e8bb4c567ed36c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not ExtendsInDifferentFolder True Passed
4c3e9d1b79f2d63cb9dc2fd3e82acd709fc7f27c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not ExtendsInDifferentFolder False Passed
37603d79ffee1a8db8a4d713d520eafea5561dbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or ExtendsInDifferentFolder True Passed
8fe5959a378a3a0714ffd1c79b40200eb7126fd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or ExtendsInDifferentFolder False Passed
ca58f9cffd076b7f814e7ad7fd0384afac0bd905 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine ExtendsInDifferentFolder True Passed
46559e367cd37a93f0c181942161a48859a9893e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine ExtendsInDifferentFolder False Passed
78e89930b5e1cff296600434ec9104bf3bf1236c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp ExtendsInDifferentFolder True Passed
d0c25bf8199770efd1accbee1d9302961cc85fb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp ExtendsInDifferentFolder False Passed
5c70962181dff591ea0bba502d4bb9ff3c9f53c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed ExtendsInDifferentFolder True Passed
8d6f4ecc84bcd3a94aaca7f42576dcce41e178a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed ExtendsInDifferentFolder False Passed
91ce43d84ff10c81ba62811a1bbd9ff194c4b132 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq ExtendsInDifferentFolder True Passed
40474ac17c98d08effbe77f0c0abc0da525e26a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq ExtendsInDifferentFolder False Passed
a31300133a81621767dffc6cd3461a1864df1da4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne ExtendsInDifferentFolder True Passed
adaa461e521e0a89dcb01133530a7c98033dfe7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne ExtendsInDifferentFolder False Passed
5c9564c16550bcacac4142d44c208f6229b3f41d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let ExtendsInDifferentFolder True Passed
f4376ad2be14a5fb88d9fd00c273c1d2f5029820 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let ExtendsInDifferentFolder False Passed
1633883727cf11d287efbd46a92a87d0b255582a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 ExtendsInDifferentFolder True Passed
0a7002d24c97a347d5b7a0602e786fd232eaa936 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 ExtendsInDifferentFolder False Passed
3dc905169e21b6badf03b56051ec3bc65b6d8a85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 ExtendsInDifferentFolder True Passed
f5e9748ad7db1304991fad49e58ad1d8ff590fdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 ExtendsInDifferentFolder False Passed
c2cde6216117f5a16261fb5af70e70c206205858 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 ExtendsInDifferentFolder True Passed
f19b5785af59646dd7d7e12e0b5017d1bf34010f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 ExtendsInDifferentFolder False Passed
aba892c10d1721d153956410031d4b9f07204ec0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun ExtendsInDifferentFolder True Passed
8f2fa227526b70bef92b4da71117a72b0248fbde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun ExtendsInDifferentFolder False Passed
fcfe7f8f5a84bf1934cbd82a3c14f1f94308a7d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In ExtendsInDifferentFolder True Passed
6b72a51c4adc81ce12d8e70400e7e76700f269f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In ExtendsInDifferentFolder False Passed
532531e722d22da5770d9df232e148e08e36c00f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn ExtendsInDifferentFolder True Passed
f3a02490c54433ff94d1e1ebb2a453cf09dff281 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn ExtendsInDifferentFolder False Passed
33bf49a802936d8b050de8330f06c40c2aec9da0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists ExtendsInDifferentFolder True Passed
208289f975aca39fa2860ea92e428961b7ab1bc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists ExtendsInDifferentFolder False Passed
f486d7fc73b731a42e559e39c84e737d08003980 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall ExtendsInDifferentFolder True Passed
539365860d99b77f752a6ff64c093ee599c99d69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall ExtendsInDifferentFolder False Passed
c9f3a00e7049e49f803e971e1063feedaf4a6f50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose ExtendsInDifferentFolder True Passed
daf81c8f26bb457f42a3c51c9905ec4be6dab35a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose ExtendsInDifferentFolder False Passed
407b7b650bb9a106dd4b5a23cf0a44e5e6594cf0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record ExtendsInDifferentFolder True Passed
4c2b09db19b4fc40a53b14851187fea9d1722984 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record ExtendsInDifferentFolder False Passed
dd2bc24f82511ec09858bd7634cd0043ed68679f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple ExtendsInDifferentFolder True Passed
9b026cc71639fc3b43d3afba4e6c70aae3d4a55e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple ExtendsInDifferentFolder False Passed
44b8637f3efae1689ef8e581b55df3259cd671cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp ExtendsInDifferentFolder True Passed
31dbc0b2eda0775d1fd991d2be5e08ace87aa8f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp ExtendsInDifferentFolder False Passed
9edf7de77d9ac2316885cbb5bf198e315ff941ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 ExtendsInDifferentFolder True Passed
ce2d5501e936f3732a2abd68a5ed9c9d7ef3a48b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 ExtendsInDifferentFolder False Passed
c73b348afc6e950787f4a68475d8394d878a3bb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun ExtendsInDifferentFolder True Passed
fe7b9145a636d4795d1649b89d310c544b38f8a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun ExtendsInDifferentFolder False Passed
726a37d1990f9b37bdffa1f984e05b77bd20fb4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt ExtendsInDifferentFolder True Passed
784e1da9975172c4fa7c90add2299a239a077f57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt ExtendsInDifferentFolder False Passed
dfa6d0960795e50c60077a6333002b4533b705a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec ExtendsInDifferentFolder True Passed
70dab9ac9e2b025c2678218f5b475cb74d482879 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec ExtendsInDifferentFolder False Passed
b36490950e53e8ea34f9ed313834213de8af254d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt ExtendsInDifferentFolder True Passed
11fbce536cd6a02eedd0d5feb7075f20f160efb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt ExtendsInDifferentFolder False Passed
f8ec9c48b174c04b1240b34a12fcda39afde987f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun ExtendsInDifferentFolder True Passed
5c47d0cba48d9b9b3eed7c6181f48445d25e6d56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun ExtendsInDifferentFolder False Passed
02f43589441813b3f41e5ee1eb855948d7f3487e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple ExtendsInDifferentFolder True Passed
fa1cee369f3b5305380f4780fa9263c5f7ca1170 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple ExtendsInDifferentFolder False Passed
e4bb170cdffde9f7995523ab877144ef990c3179 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime ExtendsInDifferentFolder True Passed
100e01e3ab85b8fbdca41a62be1fed3281e49b6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime ExtendsInDifferentFolder False Passed
ad091c3f6a16ebb3953c75b169aa51634631e27b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus ExtendsInDifferentFolder True Passed
462115b98c3f283f490778b1a724ed7a9a95df04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus ExtendsInDifferentFolder False Passed
6030b78d8c7d91a9712bca7b29e678457a81872b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus ExtendsInDifferentFolder True Passed
57a7b056206c64e5a73888f49cd60264273fdeb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus ExtendsInDifferentFolder False Passed
9d55966ef3930e6b14f039304c73e1e16a0bc1c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus ExtendsInDifferentFolder True Passed
a8c511034b49a2cd5bd539e797f6d615e0728fd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus ExtendsInDifferentFolder False Passed
d84e5dfc5869d4c634df86d928c05b5f69290b0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul ExtendsInDifferentFolder True Passed
a75a0fb6bba33957d76eab1354753c8e768d04e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul ExtendsInDifferentFolder False Passed
2906f74b1f289ac6805248646e3fe40fd1d13e67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv ExtendsInDifferentFolder True Passed
258b52b7dd0c57ab642c5d5800eaabbe6abfc3c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv ExtendsInDifferentFolder False Passed
f2b3f558f6ae839dc0637da2b8e261da423af896 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod ExtendsInDifferentFolder True Passed
8152d38c5ed9b0370bc27a3352f95eb79e7080d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod ExtendsInDifferentFolder False Passed
e322c2576622550e077a607cf35e5e030c340262 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow ExtendsInDifferentFolder True Passed
34efd93f3ea563ffb9e80c2cf64a9059d9b53ae6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow ExtendsInDifferentFolder False Passed
cbd90f96fe69aca5ffce01d570f9ed1c5d8be91f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt ExtendsInDifferentFolder True Passed
4769d5df3172cf12ba0c654da2ff51a7139f23e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt ExtendsInDifferentFolder False Passed
8c90ff1f6d8b41ae83413efde6a3d641a0c68993 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe ExtendsInDifferentFolder True Passed
ce1e875fc62647aaf060d1ee3758579dfc27970a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe ExtendsInDifferentFolder False Passed
33ab19f689dfdcee9a654cc120a7b7a9bebf2b5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt ExtendsInDifferentFolder True Passed
e42e3695ff6d0f5657389ecec60cd040d07d9ab4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt ExtendsInDifferentFolder False Passed
f1455f41011f6dd9d27cd7d24806fd8bba4a8ed6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe ExtendsInDifferentFolder True Passed
c75a7e16182a0947b8037ec122fd3627fd767284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe ExtendsInDifferentFolder False Passed
443e0f1addf3632dbd52e94034dbe99a95b47302 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun ExtendsInDifferentFolder True Passed
faf3e1626787367b1271d8987012c82fd5f382b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun ExtendsInDifferentFolder False Passed
b6b817512b2e7ef2966984476a5a2445ad0eb020 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun ExtendsInDifferentFolder True Passed
c7769536f3005f6f734f7f46929bd2dd0a0ef5e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun ExtendsInDifferentFolder False Passed
4388c96c6e51a6e5a889fd4ec54d69822c5ffd9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive ExtendsInDifferentFolder True Passed
433ab1691e30e0fa016233ed43c9cd71b7891bc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive ExtendsInDifferentFolder False Passed
dd66ce9a89b3c2c3237d0b8de098ae26f0309131 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive ExtendsInDifferentFolder True Passed
f409fc4e21a4c6d1bd455dec03ed87ade45beeae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive ExtendsInDifferentFolder False Passed
bca741f12643a69f8913f1590790431be48514a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 ExtendsInDifferentFolder True Passed
19c04856aef9937d0364651a4b5ed6602b83b49e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 ExtendsInDifferentFolder False Passed
08420a63d0ac8d3b0a75c4fdb652d81d36ec1a0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 ExtendsInDifferentFolder True Passed
783b4bf39d2d604451f0a4ad8324358bbb182c5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 ExtendsInDifferentFolder False Passed
2e65555656541dad845c0e7f31753f22712464c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 ExtendsInDifferentFolder True Passed
d965c4fd7c14bca0c656b4881f39da0d96b83513 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 ExtendsInDifferentFolder False Passed
aa5bee561f92a5535ee0d22323572699b116b447 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 ExtendsInDifferentFolder True Passed
d6bc6e6b8e82baa7742f24b3c80f025c42d2ffda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 ExtendsInDifferentFolder False Passed
961c5df96f41029094eefd855d4d236573f93882 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 ExtendsInDifferentFolder True Passed
348f9242252e8a0a7ba2ebcefb7b7c7da99b42d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 ExtendsInDifferentFolder False Passed
94aa0e9dacc42a1ded1767392b81121b43d47652 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 ExtendsInDifferentFolder True Passed
9edd6d44500c332b540696722e786ff0488836b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 ExtendsInDifferentFolder False Passed
689d8c1c6e10d31b3e9213bb23df9ffb50f9d7ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive ExtendsInDifferentFolder True Passed
8489dc298a08c52e46cf36a79f344287b2e6cd9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive ExtendsInDifferentFolder False Passed
a448d25acc82fe8d3f4497c36dce60eadab29e6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive ExtendsInDifferentFolder True Passed
dc0489f2948f0a09eb923fd575eefee363af4f91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive ExtendsInDifferentFolder False Passed
043a137d8724b83a8741c9bf3c9eb900546f0c3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends ExtendsInDifferentFolder True Passed
f190a4080872851dc53f0bdcf0b511f8fac7ae88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends ExtendsInDifferentFolder False Passed
05741e2e54a3b8dd839cdd59bcc1d7d0caa77983 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder ExtendsInDifferentFolder True Passed
6f22747087ca2ff3ee5b27a94cc3e16edbf21908 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder ExtendsInDifferentFolder False Passed
69ec462e3e076e117677f4f700edff1cf02f93a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable ExtendsInDifferentFolder True Passed
f137d5fdc39921e78bf2c3f6c3b36fab792bc1f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable ExtendsInDifferentFolder False Passed
d34e9c4ef013d9e3edfe2d138a1d5b498eb7bbc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude ExtendsInDifferentFolder True Passed
ddbeb514898836ebb25ecb52cefff4a95d5495b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude ExtendsInDifferentFolder False Passed
b983610abfafed4e06118319e91cc1b5db3e6d8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant ExtendsInDifferentFolder True Passed
9caac7bf861b8bf0daeab546f9602c9c09907d33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant ExtendsInDifferentFolder False Passed
17b0d061d46e43de6f96707d4b0c5cf00c9ec5a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 ExtendsInDifferentFolder True Passed
265ee0381cf7dfea979c8dee79cfd2aafdc9ce0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 ExtendsInDifferentFolder False Passed
9c61831ad375d59ceffcd5ced3e8ba13fd676835 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance ExtendsInDifferentFolder True Passed
c04de9e4e60582acf71085f5addbb75ce131f013 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance ExtendsInDifferentFolder False Passed
21b769987ea6a3e022722af166e5d2cde68f4fba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith ExtendsInDifferentFolder True Passed
59f7203cdf2fd271f672125a249103fad48a5ced TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith ExtendsInDifferentFolder False Passed
fbe5b61cd97d301566f24ddeaa3941de6a482e58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed ExtendsInDifferentFolder True Passed
a0dba9f817ce0b7b2569e8ca00204c52f0ac7990 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed ExtendsInDifferentFolder False Passed
23bf8e9915669d08e36b22881ec5bb35d133b367 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith ExtendsInDifferentFolder True Passed
0b7d7ecb4c1bceda15ee9f7cd893676323cb385b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith ExtendsInDifferentFolder False Passed
4eb0ba34b0e2f025f1428b7339b8e42394bdd6f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder ExtendsInDifferentFolder True Passed
7f82e174a6715328dc682f24be3071f04fd7b5c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder ExtendsInDifferentFolder False Passed
f40b11d4896cad05ae60c0e01fb9c6d20f3f8b33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder ExtendsInDifferentFolder True Passed
16eb08095962ea08f3c8666a6c8755e84df40d1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder ExtendsInDifferentFolder False Passed
5b250f92c0d734733b0d5d3cb25f1d43c62aabc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder ExtendsInDifferentFolder True Passed
bbf6a4d85f4c0baa0b962bd7be2954b486ff68b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder ExtendsInDifferentFolder False Passed
2a98bd8ce8b2c166c4f777b3d4e5b1021c59e303 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder ExtendsInDifferentFolder True Passed
fdc58a27b0672b6dbea77b445753d6aa4b770fc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder ExtendsInDifferentFolder False Passed
eb0f8a1f64b85292a471c018d2aeb1aa19779119 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled ExtendsInDifferentFolder True Passed
61cde363baea07177f9e6b64ea41d47283dd439f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled ExtendsInDifferentFolder False Passed
d3aca7e717ad20aee6bbccf8db474dcb6099a4ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume ExtendsInDifferentFolder True Passed
135bcfacc72fda42373129cc9bcab1bced777203 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume ExtendsInDifferentFolder False Passed
b50c970c1981ecec8baaeb1eae1fc5e07eee5c34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed ExtendsInDifferentFolder True Passed
56e5db819554f201f3c0310c9e3d21e7b376a8b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed ExtendsInDifferentFolder False Passed
9e5886ed733a03668e5d9ca40840e6671bad17d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda ExtendsInDifferentFolder True Passed
ea5075de5b71a949a07a53eac2c90e6a3c843c25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda ExtendsInDifferentFolder False Passed
ad0da9d7c92d5bddf29adfd6045823c49e22aa3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 ExtendsInDifferentFolder True Passed
c495bf080bc732805f6d8bc3ae3126b25095fe64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 ExtendsInDifferentFolder False Passed
e0a14c28acddbcb0f965d53dbe4e3a5fb93047b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 ExtendsInDifferentFolder True Passed
867e7434c855082cca2aa5ed60aad1d7c4fb8e0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 ExtendsInDifferentFolder False Passed
4f9864a584a01e3bcc2fd8a130fbb924f8db15b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet ExtendsInDifferentFolder True Passed
9d22dd0cc80874e6e7510efacf9d7a536c9191f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet ExtendsInDifferentFolder False Passed
a0c66db587510a15a54f71ef874a4ec5d840c668 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet ExtendsInDifferentFolder True Passed
a2bd3767523e185f564b4d2791c747ff639cb3eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet ExtendsInDifferentFolder False Passed
f6f8a3b7f7bfe2e66fae60c99dfb221a3e2f6f6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff ExtendsInDifferentFolder True Passed
b7690fa09164f46caca24fb5c3a1dd55a3bb46bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff ExtendsInDifferentFolder False Passed
9a1ec8e7eb884a081ac79b325847391b6aea823d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion ExtendsInDifferentFolder True Passed
ed14d1c9bd33afc898e66454652dd28628c1ddba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion ExtendsInDifferentFolder False Passed
f01462738ee4a2ed67aa449c0dfea47126d15da3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect ExtendsInDifferentFolder True Passed
2660e0847f1e5a9ca0c8be92036403d2566a4729 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect ExtendsInDifferentFolder False Passed
afa5320a207fd42bf829d712627ef8188b47fc06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq ExtendsInDifferentFolder True Passed
88234195f3fba066b87c63bf1b16b9f64c175cc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq ExtendsInDifferentFolder False Passed
46bbbc364820438f755a8cc1e2aeb0e51caaf305 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond ExtendsInDifferentFolder True Passed
377500246b036038e24b55b8f41413bddc0e0ea4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond ExtendsInDifferentFolder False Passed
0abe9b6998e975df57798560efc2b81cedd10145 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen ExtendsInDifferentFolder True Passed
4cefc8afec40ec3bfd7db20cfa1ce207dbe7edff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen ExtendsInDifferentFolder False Passed
f55047aa4dc37d4783f660e0ed20d7defed1409e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse ExtendsInDifferentFolder True Passed
0abbdac8c03da9c04dfc222e0235beb523beaad8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse ExtendsInDifferentFolder False Passed
f63d2c22e8572f5ad57b8a084d6c9f3608fb67f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset ExtendsInDifferentFolder True Passed
71599eda2600a50afacefdfea49aeca19d9e5986 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset ExtendsInDifferentFolder False Passed
7dafdf1156f9efe9cd8d59ef446e2d90fa7ff935 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain ExtendsInDifferentFolder True Passed
13146d050e0004393257c6a95ecf9a630e4de734 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain ExtendsInDifferentFolder False Passed
719b559627c75dfd6913381a923c48c8863bf00c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union ExtendsInDifferentFolder True Passed
e3218daef9fa02c114b40a502af26dd286b5222c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union ExtendsInDifferentFolder False Passed
3aaab675305f7cac4b61309b53ff012110ef6fe4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged ExtendsInDifferentFolder True Passed
38956a72f53dbba0e57cd7535cc67db5bbaff86e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged ExtendsInDifferentFolder False Passed
b1c3c702a338d99e7efc3e2ccf59d19da6b1e548 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence ExtendsInDifferentFolder True Passed
175269e92c4306b06516b148ddb16d614a07ad21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence ExtendsInDifferentFolder False Passed
e5bd5a3f5fb4e527cdcd6e80b133d50a380af55d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen ExtendsInDifferentFolder True Passed
3a4f5635c1a22da26eb02cf0296e6c2ca3053b5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen ExtendsInDifferentFolder False Passed
7c9c2573ab77c3af7d8f537dd9cb490158db17d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat ExtendsInDifferentFolder True Passed
8b38e5716cda6aa363efbf0025320e57328b7dd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat ExtendsInDifferentFolder False Passed
3bde2cae536ac6c385d5d21cd1411258f1e5b4e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq ExtendsInDifferentFolder True Passed
e191fbec2187ca4227c986fdd3720aed167be687 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq ExtendsInDifferentFolder False Passed
00774b821970ff532502acce6f9a2ed5fac9dfe4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq ExtendsInDifferentFolder True Passed
45926fc9667c260860b0f2e03139c19c1b209d2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq ExtendsInDifferentFolder False Passed
12868b74a737a5ea9c886346d129f79ac7324baa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq ExtendsInDifferentFolder True Passed
9b73a559d45040d2c6207af8fda9d5ca63818b6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq ExtendsInDifferentFolder False Passed
ed41406a715735fedd13e13eff26efd8f2d6e6c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange ExtendsInDifferentFolder True Passed
21a100d1a11cd55c0173510f83be8da7fafb0557 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange ExtendsInDifferentFolder False Passed
68320bd554884cbf7ff10591bbd2f481fdf298d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun ExtendsInDifferentFolder True Passed
ff666b37a0942b215733dedaee6b46560e5867ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun ExtendsInDifferentFolder False Passed
f3cecfda12fb29c85aa34e769a03c522cced6166 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun ExtendsInDifferentFolder True Passed
d0d2a79a83ce8866b3b966811913d52817263d10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun ExtendsInDifferentFolder False Passed
5e6b84d016f6342b8cfd66a78e51948935247435 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun ExtendsInDifferentFolder True Passed
599efb186b56e31672663b4d4b187eb9a9ec27cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun ExtendsInDifferentFolder False Passed
866d7e49b7d7ec768601b9d60f7323b75e723c04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq ExtendsInDifferentFolder True Passed
3218c1c9003b0d0597adf823332332ed96d875ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq ExtendsInDifferentFolder False Passed
a35aff399cadec8b5c7090b488b7f09825aa2787 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval ExtendsInDifferentFolder True Passed
a735931ac536e165a99e89655460c6cd1d17342f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval ExtendsInDifferentFolder False Passed
ecb3a7dca067a90fd255972fc6e87df50c00bb71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet ExtendsInDifferentFolder True Passed
c88a5f49e93df97cac7bc64746646ded8d524118 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet ExtendsInDifferentFolder False Passed
b4e40723f0580240e98b373a2d39e53812b7d825 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag ExtendsInDifferentFolder True Passed
a5702483eee40b6bdf49e82f6e7ce4e7a1260d50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag ExtendsInDifferentFolder False Passed
42f272109e379eb95b2892ca75a2c4a01c22b8c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn ExtendsInDifferentFolder True Passed
5980e39d0e71b4bbb45070a6ded27c7d633afe14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn ExtendsInDifferentFolder False Passed
b6c42efffb10a6250fd3dd3e9eac42a24aa16e6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag ExtendsInDifferentFolder True Passed
9921ace70c24eb9890cabc7374917496f6745753 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag ExtendsInDifferentFolder False Passed
fe37fe289bb5f7c6dae20ea52fc85d56a57c06a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub ExtendsInDifferentFolder True Passed
15009188fe3191702689519fdd90132509a6db7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub ExtendsInDifferentFolder False Passed
b2c9325d375a15e08426ed39513a537636265a74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn ExtendsInDifferentFolder True Passed
48c8e2ff03e0e28e02525a7b8aceba2d4915eb1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn ExtendsInDifferentFolder False Passed
c2be461f1e981ea6040463123d959eba699b890a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag ExtendsInDifferentFolder True Passed
f755a4939089cc43dfc39b8cc8b56a2c6ca6ecca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag ExtendsInDifferentFolder False Passed
fd0ba38f9f8ecd29513c63922b9e61b38f0024ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion ExtendsInDifferentFolder True Passed
ab505f18fcb37c913c94ad7a9b30b3f95679a109 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion ExtendsInDifferentFolder False Passed
f8e182fd177f5ef94d60f2c6bd77777a027a2af8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality ExtendsInDifferentFolder True Passed
866a158e0497752dcd04810e967834377ec5b483 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality ExtendsInDifferentFolder False Passed
dadf141aea98a9b9ff08787f649eb5314930a3e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll ExtendsInDifferentFolder True Passed
60e7a0cc3c0193f8254f234a5fddc5acb9eb4546 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll ExtendsInDifferentFolder False Passed
53f192daa2d5048dd75c470d08ba015211a31b29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag ExtendsInDifferentFolder True Passed
5a2246e1a356f5144ffb0f0d47833a1272932087 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag ExtendsInDifferentFolder False Passed
0cffa861fc9aae7fded75960393a511b875d85b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet ExtendsInDifferentFolder True Passed
c9156bc8797d1416467a10a06cf1167a4178315a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet ExtendsInDifferentFolder False Passed
88e0676934257b91cf2bcf1e23304e5d3dbca3da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality ExtendsInDifferentFolder True Passed
847d9580d7c2f37b1e3b4264f91d7ec06f944aba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality ExtendsInDifferentFolder False Passed
835a2a1eb70e55e8690c1bb990de7f2d5250ba5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead ExtendsInDifferentFolder True Passed
df4ae29d84adbc3e38cb5ef746015b26b7925c88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead ExtendsInDifferentFolder False Passed
01abeaafc35369b7f1146532c0a6f64e9a79643f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail ExtendsInDifferentFolder True Passed
684bc21471195c0eb518ec2f93f333f4d5b09d00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail ExtendsInDifferentFolder False Passed
30cfc20cca25ebfa558ddb662ff4bb5ad53788bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend ExtendsInDifferentFolder True Passed
b2e4483d9e573d1698e160ad89d067e76dd3453f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend ExtendsInDifferentFolder False Passed