Index

Tests by plug feature NumUnaryMinus; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
f7119805f04bb94a3d25acb32447a651bec884dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumUnaryMinus True Passed
3a17cdc947a084f14ec99402f07709b420299ee9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumUnaryMinus False Passed
1808842842e9a0c19cf4a3c26db6b7c256a1ee15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumUnaryMinus True Passed
1ba75d25d8895dc99f00fea2adf61c7365833850 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumUnaryMinus False Passed
8a960398ddffe4fe499ce0758270aaabeaf09e07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumUnaryMinus True Passed
d10984851d50f747347fc45193eedde206ae61bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumUnaryMinus False Passed
4ae8dea171f41972e0f093c6cf723707e1e96064 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumUnaryMinus True Passed
1b7ea579871f1f0f16f4861c90078696da5393ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumUnaryMinus False Passed
5e8e6c663b5dd08c5f9fbddea2ff9e97aaf92f94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumUnaryMinus True Passed
0ccf234be9a8636151f7ec21ada1c2b063e5082a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumUnaryMinus False Passed
9b0bec35eaa1df86c3d1764d8f12e281b457aa9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumUnaryMinus True Passed
be054d0c67d5268198f2cc1d7675eef8ec7e40b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumUnaryMinus False Passed
07339d39e25863b136a6ab0d8b1afd2a97579cfa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumUnaryMinus True Passed
879bed7361c03e83413d1597a96725f235a6030b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumUnaryMinus False Passed
b6341e26b70c7da9ddd440adcefd6288693fbcd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumUnaryMinus True Passed
113cd6a2784b2265bd7e0d51bff7c9de2c1f4f18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumUnaryMinus False Passed
9a11508a0e7750eb00f4acab82e89603567b9108 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumUnaryMinus True Passed
a99c9610ee527f4647a6feb485ce8f469c5340e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumUnaryMinus False Passed
f1fac75ba8e280c1928a47b8387f9d5f775c6a5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumUnaryMinus True Passed
2db2b3c75e9ec762b7445a29b83e8d35b2cc0069 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumUnaryMinus False Passed
2628ffe81853113ddc21db8fecfa61f830da31f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumUnaryMinus True Passed
c159b464a4d69c77667999ce48a933d3c79268fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumUnaryMinus False Passed
e101d5215e19e5bc774af54fe30073778a30a6e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumUnaryMinus True Passed
d6198aabdd67cc98b378b6f7b8d627e01e6b4f56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumUnaryMinus False Passed
1692e2c8c2d55a07446ce90ab67d9e395ed59502 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumUnaryMinus True Passed
82d2008df86edf8f21c8bd8e33ffb29d04762ba9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumUnaryMinus False Passed
33f8c96b1a1af0135d49c8a6dff7ead547911674 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumUnaryMinus True Passed
894424e673b2f38bb358b48cd4683408f7b355fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumUnaryMinus False Passed
cfd921a57e2c75f1a0731a9c52b05fbdb78d418c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumUnaryMinus True Passed
04d47ea5af529d5867c638b66ab9e6e07282c162 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumUnaryMinus False Passed
66c52c930c66d22dcc9156731fdf3853021df78a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumUnaryMinus True Passed
008a3c248cf7c58025de240992da1bc88ed2dc2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumUnaryMinus False Passed
b997564d014c9497b30f6d66be74649a0f1e14f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumUnaryMinus True Passed
dc04f012d4df1926451ae34557eedb34f7011760 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumUnaryMinus False Passed
1d8d9b2449b67018a3946280dfbbec1c0eeaccf0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumUnaryMinus True Passed
737c8b4eb843bc4d485481b45acdb4cdbcab0da3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumUnaryMinus False Passed
759d3983f2394ae755f42cd04deafb9b59cbcf18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumUnaryMinus True Passed
a2c91eafdffddb4aab550853cbdacedb2d1147c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumUnaryMinus False Passed
8ac52f76cbd4fb345c25f4d773fcb7c10c10d7f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumUnaryMinus True Passed
73eb323cd8a2e895a7f1275cc322cf07ce020691 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumUnaryMinus False Passed
2c5e635e6302f727211fd2b47a4aa75206fd0663 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumUnaryMinus True Passed
ffd895c952fadbb2b7ff8a0a6b76de19fe5682da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumUnaryMinus False Passed
cec06648d87430e02812507f635b90520b3857c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul NumUnaryMinus True Passed
ae87b263161b73825612f4db2ddcd8dcd23146f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul NumUnaryMinus False Passed
42c259c0af2384a1a71dd6e627949b9adfae5457 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumUnaryMinus True Passed
b14b227e0bd4422b4e30a7dfc8601cbfa69a2d93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumUnaryMinus False Passed
f18d4ca5e48728948d670f6400a9d08d783bad23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumUnaryMinus True Passed
46d387726e5f750101a2fb5ef0449172ba5076b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumUnaryMinus False Passed
020478b61329862dece7a1d254bb20ed9c1c8caa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumUnaryMinus True Passed
f9e94b889953ea0c03f0205db260f743c58cdde6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumUnaryMinus False Passed
4b0a9ca4d9c8f8535e2b09d7d345ab943d24499a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumUnaryMinus True Passed
8d0b14d90afca94c124deaa9b8927d8ac431e58d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumUnaryMinus False Passed
a7b68b533b52e5c85e027b1fb68ea0af0bd1855a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumUnaryMinus True Passed
399b8509d125d56adda1ef4c4feee140c191aa0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumUnaryMinus False Passed
563ef2a25e1b97d2b1ca751bbc1871e232503455 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumUnaryMinus True Passed
bf19cff8068c734498f5c603d0b357a62ed71de6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt NumUnaryMinus False Passed
ecf078829f1752475ed956752b42ef05c4fa6ee8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumUnaryMinus True Passed
92030a3f3ddd62c3255e693e6828d4045abd14d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe NumUnaryMinus False Passed
c2303827f6ae6e130515d06eaa9ad44c2e3b730a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumUnaryMinus True Passed
2b85a08894a54dd1fb4cf3251cb5f9aa8b973a5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumUnaryMinus False Passed
d0f7f261e476b9d5675bbd6dd8e94e7f86c401bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumUnaryMinus True Passed
eebb4d79344c32077fc16680fd0c4a589a584fd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumUnaryMinus False Passed
565382b0627e24ee1c7ba512f40e4d016dd53089 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumUnaryMinus True Passed
201d3a31ce73d8b1721ea366406ac0c95c379f95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumUnaryMinus False Passed
90a3980171bda5e0f15ce8883847584b3c01bf1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumUnaryMinus True Passed
9713eee73181108e5c71dc529143277c4d67cc29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumUnaryMinus False Passed
15e0a97b0d80d74729fcefaf862ecae19edcf70c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumUnaryMinus True Passed
351440b35ce067ece3c5f4174a0a833107bfc452 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumUnaryMinus False Passed
e70590302b93b45256015602214034a72b49a7b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumUnaryMinus True Passed
0231df80d3af9620d1d3ef773a929ea2ecec7b2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumUnaryMinus False Passed
c2326df65c07eac5fbe5275e9eb2eae7200f52ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumUnaryMinus True Passed
a40fbd0987c3df337fb1ae88c2d39dc5a258873f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumUnaryMinus False Passed
51e35f0085fbf394345ec309db07515fb7dd3dd6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumUnaryMinus True Passed
2c367235452b9015f4992ee6ac86530ad9a54b15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumUnaryMinus False Passed
5970d0b578cadd58f409f9e9398765c4e09d3ce9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumUnaryMinus True Passed
b38d03c924cb8147ad89d6693d53fae3920ee8c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumUnaryMinus False Passed
647dd4c2c9814a9aa79a42cef0697ce36869f8fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumUnaryMinus True Passed
c2ad661ff2c2ddd007f3e6acdaeacb151bef5efb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumUnaryMinus False Passed
0be7fffcc547bc7fc1cdce999c2764440195019e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumUnaryMinus True Passed
1e6a050c96814fbeaa73b6635fec0751ab8863c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumUnaryMinus False Passed
d21981cc6318cd419977f4c399133292b16818c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumUnaryMinus True Passed
316f468ae017377953fb41d536734fa7648ec600 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumUnaryMinus False Passed
2ff82d53d62896a7d9926a018142462fb1e5ab32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumUnaryMinus True Passed
3f4d15c13a31a3257c8748dc083067b1fb465a92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumUnaryMinus False Passed
c0f05cf0b8040be121bcc88a18ba32b772f8bcaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumUnaryMinus True Passed
bccecd15950aa48486ee4c7bfa05a4f3f120b1f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumUnaryMinus False Passed
dc2008d3b240686c589f508b2a78615584c65c44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumUnaryMinus True Passed
18c4b4e2041ae895f3a5faf5df0b97441689702e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumUnaryMinus False Passed
da509216fcedabf253c61083c764aa8e40d977e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumUnaryMinus True Passed
e7c7b84f7c9a83e92af9bc7720fe6382b97ceb45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumUnaryMinus False Passed
1d189643e69623ad578290395bca519f89047ec7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumUnaryMinus True Passed
d585d04de4efb2082da191c2bf6f3350a017b226 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumUnaryMinus False Passed
f4c44cdfae3faa0a39869f82e21475cd43d96b3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumUnaryMinus True Passed
05ccf5b62136894a26a82b42c16762c56a2b1b2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumUnaryMinus False Passed
a7ca8d85cbc54dcb6899516f4a37e111438a2340 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumUnaryMinus True Passed
7ab1a6336e08681b7d68c0daff78690af6eab177 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumUnaryMinus False Passed
ea56dea32d4c2817bc24b48801c26625bd30361f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumUnaryMinus True Passed
6681ccdbda17eb063e6abb41b037927f58ca7aa7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumUnaryMinus False Passed
f7e812819555975dc1692d433b77186be15cd185 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumUnaryMinus True Passed
b7ccb8b7257e4e152b6b7c293759c8a1a1cb1e4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumUnaryMinus False Passed
acc1d57350d982cb601ecd1c0e319bf79c2ace04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumUnaryMinus True Passed
b8503247fb94c7cf73d7d577ce575514a0eb4f49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumUnaryMinus False Passed
fc353081f81e27bcb1b515db2a1066251e6f3cb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumUnaryMinus True Passed
a032bd9bbcf3acb353787c627f5a3d020ea030a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumUnaryMinus False Passed
be2408045cc06062c6fe08bad9c1f57eab3ef974 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumUnaryMinus True Passed
0d5a43f09736e4c33862fb5525c2909580493be7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumUnaryMinus False Passed
b1cd60de05fe1a4eb62903de665cfb4e00bccb00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumUnaryMinus True Passed
bdf959ed739aa87a3caa23978740c7209d881219 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumUnaryMinus False Passed
447be6ee35e4a0a21f6353fb0134e2672ad67f9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumUnaryMinus True Passed
c4a21cc8be4640547eb0019d766bc3f24f9a2273 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumUnaryMinus False Passed
626a6b1fec2e5f0e5a2022a70b453ef0f7c7cc0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumUnaryMinus True Passed
ec4ea6c53f6ed3b531b7f33a9ffa343e90ff318d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumUnaryMinus False Passed
021f4e09f6ab0467bc2baea423a84a316e5bdf29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumUnaryMinus True Passed
93c77eb0faafcc9e4bb50a7c8473758d590c14ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumUnaryMinus False Passed
107c692a275ab3b38aefd271503a9433d1ea898e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumUnaryMinus True Passed
49412bb50c266c90515d06ef07ae08b2d5d151cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumUnaryMinus False Passed
3f05cfe4c4fb435108affd28742eb65272060a53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumUnaryMinus True Passed
9479f4ddcf61f21cac1cc6105a1e1b38e53d6e1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumUnaryMinus False Passed
033e61319dfb6da6f0630fa8ded84b828a577c38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumUnaryMinus True Passed
0cf1e8aa920ab2796ad501bf233d15ec3b07d788 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumUnaryMinus False Passed
48e7bdb6c61ba6624cc3e2da1862540016442141 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumUnaryMinus True Passed
613b8ecae5eba807620fcc76f7c911f69f32b314 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumUnaryMinus False Passed
c204d4db4d44bc57c86689e461db96158b2f4d73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumUnaryMinus True Passed
707489a414c11b181e644c2ee242ce5eb6f744e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumUnaryMinus False Passed
b76ef262ad49bf5d88af558c5d00f75fbb4b2bd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumUnaryMinus True Passed
b17acca66575030f5f406ff2addf158f672bf5c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumUnaryMinus False Passed
9d8e38c799767810c13d4eb4755446e12727505a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumUnaryMinus True Passed
92999e6304418adef496a9d7e6d2309961c9412d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumUnaryMinus False Passed
22585e4cee1f54100b6f317aab5f550941302d69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumUnaryMinus True Passed
4c5f03b109376df6e59bfd34407965f14712018f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumUnaryMinus False Passed
131a6a1507e3c7f2a5d16c5781f2ba9d3418ad09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumUnaryMinus True Passed
d5ec6d5503d041b1ebfa49a75a7088d171ce8782 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumUnaryMinus False Passed