Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
5081eeb821e21fd468a8b8bd4e991b12fb722cc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And AndMultiLine True Passed
c77a7ef15958aa57af0765044dbbbfea629d4929 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And AndMultiLine False Passed
a7f1600c71780589d2d99c4ea767b3185fccb60a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine AndMultiLine True Passed
585ed2780e2b8a8ea1fcd9a6551f639375750fd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine AndMultiLine False Passed
c03e93ab52e962b08cb22fab119f6aa0c3eb75cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply AndMultiLine True Passed
d65d2c4e2e59951e419f7d6fc3dbeae5a43761e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply AndMultiLine False Passed
b6d566ae542b1af5ac341e62c62276e40df0ba88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not AndMultiLine True Passed
5100044b56afa8ca2ddda985c736605445a2495b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not AndMultiLine False Passed
a8393b357d9d37ff133aeda63c453a39d153d575 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or AndMultiLine True Passed
8473fea9d11fc2bd9385c49d52ed1c90bd15d94f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or AndMultiLine False Passed
ef4f0fac8c45df036aaf4a0c7dc619ca77a9c533 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine AndMultiLine True Passed
de0702827941a5031d7eda007ca4ab7384f6d126 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine AndMultiLine False Passed
ce45e7efcf5e21bd0132332b9132f4ef92df74ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp AndMultiLine True Passed
223222a313aa7993d0662a5aea6babca3ebda8cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp AndMultiLine False Passed
5f4ca44ba9ba8448862e72f2a5454eff69049c7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed AndMultiLine True Passed
6dac7603184e0016b476d3f7f769258363c12ae2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed AndMultiLine False Passed
df16b93f5208326d5c19ed8ff2fa5409e100b3ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq AndMultiLine True Passed
f55f55542dadc0b7907b2e2d56ec94eca572f0f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq AndMultiLine False Passed
a7190d01e34e83e07aca4a921351c2c2df7793dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne AndMultiLine True Passed
065f049d7d7f14def29bbe97d0d25c5a84d317fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne AndMultiLine False Passed
8e1154db17085d257b48150d188676b867fcac5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let AndMultiLine True Passed
b17db5d227f4b59624663eab4405dee53add5d2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let AndMultiLine False Passed
28e1f8594ede9b23f291bda5d50837e5fd530e34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 AndMultiLine True Passed
96c49598fed647b7a59768b196721c673a370a63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 AndMultiLine False Passed
9d01e17702c9bb24c77da3b5a35c43bfcc1a334d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 AndMultiLine True Passed
b4272aebac6857114ed667e9efe1290a8896ccdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 AndMultiLine False Passed
bf5a0f2d790bb22ac7ee521ea445c334cb4ede5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 AndMultiLine True Passed
df210d649327d228715850523773bd19752ab5d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 AndMultiLine False Passed
61a91e930964e8b0e0d0e513ade43a16f8518417 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun AndMultiLine True Passed
ce5ae2a3c8231c04fceb25de7c730a43e7c03a36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun AndMultiLine False Passed
ef88f52d0f9220c5156634365d6a545443c1e945 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In AndMultiLine True Passed
84ff5c7c0de8f2af6f0b6b4c11ed259ab7d2c403 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In AndMultiLine False Passed
d3ee309d6334e7d7eb0da5fab1d7a1e6fd21faf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn AndMultiLine True Passed
df42efd020c563bd7b19397aaf65a179d1b6ab32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn AndMultiLine False Passed
4d111b985ea8ff11bbb1171282f2eb9ffa1b7033 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists AndMultiLine True Passed
d4f0977aced975b26057c7cd5e1056ec2fb691fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists AndMultiLine False Passed
d10ffaa7359152fa36c00157b9f4cfc421d58dc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall AndMultiLine True Passed
a677d136ecb9b3db4eba6067a352a63c357db56b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall AndMultiLine False Passed
91c3e4e2ecc170a38fca56674e1f18107acf76f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose AndMultiLine True Passed
7f4eb53da5e401c2161a7fd977eae0379a2ad54d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose AndMultiLine False Passed
c4fb9cc9cf84188dd2b47b13f598e06f9041fce8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record AndMultiLine True Passed
140a677b1a5737a75197b80ad10dd1593ae8cd82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record AndMultiLine False Passed
ccc41e695058a6c50002dd5bea1d819b58a21e2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple AndMultiLine True Passed
9f477c97beaa9ff48d1479edfcf3960d845f5e5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple AndMultiLine False Passed
4cc1371ad12bd22ed8ec40afa294926d9380925f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp AndMultiLine True Passed
4507b8a86d4983ef776034557e48fa49e96ac3ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp AndMultiLine False Passed
52471d2c13ed4a7682690bf696d056f874b62197 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun AndMultiLine True Passed
4f4c1c21a1be3f7d0afa66fd3f3db975664ef025 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun AndMultiLine False Passed
f3077a748d095580ff10eea7e37fef7e6767e755 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt AndMultiLine True Passed
6c3bc47b2c0d50c3590087595c4e2976b71ca2cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt AndMultiLine False Passed
e68303f4ba6bf330246b9e3044f39f028d3a9453 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec AndMultiLine True Passed
5ed10d5a7af9c7bab78a4eaf1617255b804b5062 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec AndMultiLine False Passed
b4a5e99b145463a5648baf13faae08e2c0b9adb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt AndMultiLine True Passed
812cffaecd30aab4a15918481b5f42aadc881629 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt AndMultiLine False Passed
963a1479a58d13d7706250565edf24b9e7bb0093 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun AndMultiLine True Passed
1bd6b07e0900bd5020b272b9e3b7ec23d57249b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun AndMultiLine False Passed
c21d3095b031d61b49957e6058e23b3d2cf5a772 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime AndMultiLine True Passed
07df678b9d62958f2d021cc918e1fe8ef1db20ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime AndMultiLine False Passed
96ef595a095cb0a54d08e00c00a0b2e938ba1c06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun AndMultiLine True Passed
84734124d12164970c74e78eb4c3b534edec9fa6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun AndMultiLine False Passed
6f5f9f14a68a65faa4a3e40dc6a04ea11be79a12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun AndMultiLine True Passed
8fa380099e78dc0e55f0af0ad6f85d3f01b7af52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun AndMultiLine False Passed
9fb53805c48664c314989437efea701b3c652e18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive AndMultiLine True Passed
932eac92297e113a3dc39ea16883dee21688a611 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive AndMultiLine False Passed
1f4812b06a67418cf9ce16464e38cef02945c23e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive AndMultiLine True Passed
f5b51a87eff45be597dcc2eac1a58ad0895ee51a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive AndMultiLine False Passed
95c0b0e4c2bd9d622735c3d5ffccb8618232c7d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 AndMultiLine True Passed
1be85fe2a2bc8eb50afec7412f89139e4faf3bf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 AndMultiLine False Passed
9c7064439d4e7ab644cbb33154fc4008e38b314b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 AndMultiLine True Passed
7fed5c2dd8a504d8079839cdae932aca728c6d94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 AndMultiLine False Passed
4808d0a50155e373db0f70a7152d2acfd154e81f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 AndMultiLine True Passed
6955dca742083747750ad32c6b6db3d9a5b66f5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 AndMultiLine False Passed
abc3374f1c2bd863a4e1fbc4915f744f31e5342a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 AndMultiLine True Passed
eda49c9759e6d2806723b6e5fd4a1478f7b7596c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 AndMultiLine False Passed
189029bcbc942c997fb9324c4acf678ed435c4fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 AndMultiLine True Passed
1b43d48a0c848252fa91a01eac6223550cc200f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 AndMultiLine False Passed
929cf666807296aba8e690a9756848a2f8527aec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 AndMultiLine True Passed
958f54f09730ccaa458c930868c3cde9e14dd29d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 AndMultiLine False Passed
5026c9bf447a8c35d535049341c337b65fc15885 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive AndMultiLine True Passed
cff8d89e37955e880178fc911edb94113373bab2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive AndMultiLine False Passed
a7d7e6f57238dbdd90f09924dbddc3ba93068147 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive AndMultiLine True Passed
b4b1505c9bd7f55fbc7fdaa95fad0ab882f8cc06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive AndMultiLine False Passed
cfc4a6279ac75a0f7ccecc400c1de5d0017169b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends AndMultiLine True Passed
e7fe9534f257a1dfc54bc8a60f3d51a3e538c0a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends AndMultiLine False Passed
ae7195fc77ea397266a849c510125e40fa63db71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder AndMultiLine True Passed
61572d45b46aff7920fe9d85863ff81284f56953 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder AndMultiLine False Passed
e42e11eb0adf8a3d71a857720f6781f769cc5ea2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable AndMultiLine True Passed
302f83298452421f1d6f736b08efebf2e8f9ace0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable AndMultiLine False Passed
edc27dd6e95d60b8f49297d7ef76b7a4ce6b620d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude AndMultiLine True Passed
9f002a451247381c5d2461c9b40885d26b3e429f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude AndMultiLine False Passed
c92eb2577f1cc9aa527ee91663c9c1d37ca55aa3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant AndMultiLine True Passed
da5b4fc75191d1db84f9422e10a57aa37ad7aa70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant AndMultiLine False Passed
fdf8db886d9e0226b358b5498526a5fef0da9467 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 AndMultiLine True Passed
9aecd26f88ee853a6f30fff427456d8c3f43a1f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 AndMultiLine False Passed
8c53387a3414efc25046c9d3edb70e5a370f5e9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance AndMultiLine True Passed
bdc3ef222d9791e527768495f27b396925987de8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance AndMultiLine False Passed
c0e524c150f5832207a0d4874ce631210b74ee6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith AndMultiLine True Passed
cc6aa69fcafc942c929244a703bbff3fcfc96c13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith AndMultiLine False Passed
a3280d0f57fbbfefa8ec163cfe27af91e894278e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed AndMultiLine True Passed
ce8b959d3afe539c75b3292e8b256a098a334e5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed AndMultiLine False Passed
2323559d67c96d7c750de793b673c4ffcd3ee62a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith AndMultiLine True Passed
471add3bb0085cd4cf4b85e603a89792337d442d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith AndMultiLine False Passed
03998a2527a9a4b5730134be729d28a9288d9b43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder AndMultiLine True Passed
1611e5075a6c90f3a8b230376f9562c1dd9f480e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder AndMultiLine False Passed
24d9afa9be78f97a67b6696221624664f3716dfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder AndMultiLine True Passed
aabc1b0bacab0ad10db2223dae53bda142a8bc74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder AndMultiLine False Passed
51638fed931e6da71724a1db4322ebe8270977a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder AndMultiLine True Passed
5946f79fd3693430cc08af134d6cda853378008c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder AndMultiLine False Passed
3faba60919ea2a03012741606e9fdbac4cf9579d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder AndMultiLine True Passed
73af58299f41bcb3e92af97e48fff55269ddf6eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder AndMultiLine False Passed
3c3cf1a4a3115684f60d11fdab96e5ecfdaf2ae5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled AndMultiLine True Passed
9d9ded9a98310a32666741f0554d1901798864a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled AndMultiLine False Passed
2248b652a9039a5b578c015da56a180976e31c8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume AndMultiLine True Passed
57b581330aa2faab329a649c1f34e4a517bf0a64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume AndMultiLine False Passed
a81dd9e9c311bf324b6637dc2c1f5055d9d623d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed AndMultiLine True Passed
563a30544dc95e70094476eb9393a1a21a1431f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed AndMultiLine False Passed
1a4b5cb4ba7d8d3369551431e7bce93f6eecf1af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda AndMultiLine True Passed
6f2aa3c13f626ddc4ca2e60ad84f95447ddb5997 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda AndMultiLine False Passed
6dc04bee16d16905ea0a13f12635a9df72a4542f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond AndMultiLine True Passed
9d2175bd207a4969628aad1ba4e4114d61e738cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond AndMultiLine False Passed
f8d63ed5e086c5b84a830975e82fe2d99fa5b9bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen AndMultiLine True Passed
6f9831dc8bfd6871b6a3a476fb7ae554701d26c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen AndMultiLine False Passed
b38cff051e140d3934f421aa3e17b2d0bc3d9b91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse AndMultiLine True Passed
e391e02b068971c5b606b9777df21c89577cade7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse AndMultiLine False Passed
796b712b49e7a45e03037246fd5c12445535f0e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged AndMultiLine True Passed
00981d7184c50fb7a58e7042ab713fea33c9203d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged AndMultiLine False Passed
b5431f7c35674503f92c51fed2e5dabfa2de9f8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence AndMultiLine True Passed
f051968e4ca68e9e14c8a553dc2d3c010cf81ef3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence AndMultiLine False Passed
a1a70a541a0709df79105d2f6769297c8909e7a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun AndMultiLine True Passed
657c8028cb61c7407f6f1d66a6afdb525fd5df00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun AndMultiLine False Passed
f768192d08acc83cb7d43d582625b5a3682137d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval AndMultiLine True Passed
fa52444d9b339b6a2467baad27fe3d08adb342e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval AndMultiLine False Passed
baf013ff394add34f5b5b3079b5d1955f4f993a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn AndMultiLine True Passed
57239172917de04602fa716158146991a253eea1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn AndMultiLine False Passed
dbe564b481f92433c5126b70d807281d93d6a3b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn AndMultiLine True Passed
fbc87bbb4754e31d509c21632657a25a2c8b827a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn AndMultiLine False Passed
2fa05bd5b1d82904893d10fa345a2b8fd92f02ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend AndMultiLine True Passed
e07a5b6ba2b5fa492009d614680ad98e1c330640 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend AndMultiLine False Passed