Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
4e3b602b9e6e686ea72d1572627a9cdcad337399 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And AndMultiLine True Passed
e16653e3669b8a88e6c847ada56e4868d75940d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And AndMultiLine False Passed
4cb1a80e09d83a89081bd27e5c7ec398269c61bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine AndMultiLine True Passed
7664195f6709c95be9e384bf707390798b886155 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine AndMultiLine False Passed
5a2de41b55361512627630a6d0601d9257ebd7cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply AndMultiLine True Passed
5788e9186aad66cf80a498f0aa5f8047ae5fd0e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply AndMultiLine False Passed
a2378127ce7b874cac569efbdda80b619559a985 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not AndMultiLine True Passed
9106305d80933d72dc22d2ba337cbb6f3afcd4b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not AndMultiLine False Passed
0b33ed14dd6521797b400b6cedc5b7dcc03bbe8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or AndMultiLine True Passed
10c9f4c890996536fd6a97987a30f694f448fa57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or AndMultiLine False Passed
876664bca6c451d1caa92e7719f4bedf3b600dbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine AndMultiLine True Passed
9aeb752eb76b87fbe2316413ea259b7af536e011 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine AndMultiLine False Passed
78e7098bdfb6364244c9f02f484fe099be98497c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp AndMultiLine True Passed
e579743fd9f54c47d93af1daf7beb912525c9092 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp AndMultiLine False Passed
361af3764cc3fdb228e64a62fceecfeda72f7bb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed AndMultiLine True Passed
a8cc1f2dd47088273dae9545b9d2ffdb0e2722e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed AndMultiLine False Passed
f61c4845870e649f1556f0ceb1c50716fab69063 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq AndMultiLine True Passed
15aa455095e9b2614e7ebc6a3e7dfb9a63c0e55e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq AndMultiLine False Passed
dff61ea7c20a632c0b62557387fdfe8b76323e09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne AndMultiLine True Passed
c802e91a3cc0532fc08608d0cec01b31def01d9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne AndMultiLine False Passed
e059d2af70eca3a23b70d7087ccefaa568586c00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let AndMultiLine True Passed
60e762f50661da81f5ef1a5e1d24e9ec5bc978ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let AndMultiLine False Passed
b16d6d5145b2a2adaa01d5f7108acb2f453fa6b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 AndMultiLine True Passed
a0f3ff409a851e0ec352be9c1e820438d08fc4ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 AndMultiLine False Passed
4908921b3422948aa16a4f91ef059e2d5fd73bdb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 AndMultiLine True Passed
fe6416563cd8e119234d08fa2277dc1cbb66e193 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 AndMultiLine False Passed
a326f9e25cae345bc996fe5bb6b1516d84a2e060 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 AndMultiLine True Passed
95bf1b96362259adb33630ef3d8f935da51e1c4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 AndMultiLine False Passed
0b9f6d62da4c4c2576cededdacc64b9d238a0df3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun AndMultiLine True Passed
5f63ec5515f6b0cdfaafac751cb66a1896a6abc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun AndMultiLine False Passed
8edea2a21f2c860c64c8858279fcc5577e9e931c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In AndMultiLine True Passed
e18c2e181d8001e5ff67984a89e417e2e1cadeb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In AndMultiLine False Passed
0802ef9277b9defc98a87cf44904e0c2ec8303b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn AndMultiLine True Passed
0888c03befe7581c05ba77e9c4b423527cf1dba7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn AndMultiLine False Passed
5993f7b2ab10bbbc15061c4fb9dbaed0b36f35fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists AndMultiLine True Passed
7f39caabdeda1414bb9c58d6124623cbaad91421 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists AndMultiLine False Passed
58443b9b8a3577b0764de05152b4dfeb2e633779 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall AndMultiLine True Passed
79e43ac674788239f83a597752ea59c8b78e2536 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall AndMultiLine False Passed
11ef5fb66e7ec72dce39ba3e13e5bc6db163d029 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose AndMultiLine True Passed
af7cd6522dfd9824178765f8b0764910cc88c0d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose AndMultiLine False Passed
575d0e2fd80be137414513a322b783d0e5c9dd63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record AndMultiLine True Passed
e6bc8aa67237a84ca5dd1157616401ca0e524bd6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record AndMultiLine False Passed
02f3caca7637ca86f54a6677bc8bc78f602d41ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple AndMultiLine True Passed
d8efef2f2095f1bb3304043bdf63d6df21e47a46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple AndMultiLine False Passed
6f5b99c93165a3d546d7a825ecbec289a13b41dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp AndMultiLine True Passed
984d9687e7bba4bb48226b15cc47f21bc7f2ae4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp AndMultiLine False Passed
91ca3537a671fc5d16f93b39e7cd7d38753b2792 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun AndMultiLine True Passed
b809e584dfaf2a88ff6e644a9af0b97aa4a87d7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun AndMultiLine False Passed
eb5aa267803bd5a7663d06e0596139164b8c2944 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt AndMultiLine True Passed
a966e544d271fd02c21d325f704c98c7155cb148 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt AndMultiLine False Passed
7490cccc261a6abf4834c23ac48d3bfd0c38cfdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec AndMultiLine True Passed
a211873e9260e297d0558cccdfc0ed2e32b2cff4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec AndMultiLine False Passed
55943416a905e873bfc774028670c63f64b2e500 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt AndMultiLine True Passed
eb00077730925e1d2b0c4f837d91e19c93c45760 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt AndMultiLine False Passed
b7f1a91e657b2df387dc5acc50a59b294ec89d90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun AndMultiLine True Passed
7d4ead930403b3bce291901521fe3dcbb690ce45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun AndMultiLine False Passed
c7a2e430352fa3d271cc27ceb63468fae51a603b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime AndMultiLine True Passed
d883dfa118892a70e8b079a67b077662a5476c25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime AndMultiLine False Passed
0f177199bd6371b703ed4bb410dfb1d57a2ae828 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun AndMultiLine True Passed
7bba1e1e590ba75b5c47953b6ff9f0c620d4d9e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun AndMultiLine False Passed
54857ca17f84abdd37766cf91e0c80a3d0324337 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun AndMultiLine True Passed
de6bc2cd644008a1cdd65447a90a6c71811bc5f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun AndMultiLine False Passed
83155d40b58599fcd42e9871131ec58c1d481ede TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive AndMultiLine True Passed
a024f81e3cafddf0723ddb39a43830905961e67c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive AndMultiLine False Passed
067fb1afe163b9838726e5c8792e6d3d0f09d882 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive AndMultiLine True Passed
a2157db1d501372fef957b2fb68e37728859babf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive AndMultiLine False Passed
1de773ff8f34e68425fb827857de7a2615d679e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 AndMultiLine True Passed
a89b27c031fb5c3ae1af2f7cfcb89c7a754b1cc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 AndMultiLine False Passed
f99249ad8cf9b1c3c1b12c05707667e7c71e3ab0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 AndMultiLine True Passed
54a2ae22a4060422725b575a14d2310889977b1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 AndMultiLine False Passed
3f70a14e99b1ceaafd831ea6e7d49ed8f483b41c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 AndMultiLine True Passed
c85fd06b9a21376c134156d02199fb4aa2c34896 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 AndMultiLine False Passed
43692ed23994eedd492f8302f54e07dffa513c69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 AndMultiLine True Passed
6517f4b74bece59f2f76acbd127674b9b1ba598d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 AndMultiLine False Passed
9b75638b5df9d1e63ff26627a7acfa35380f4d83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 AndMultiLine True Passed
bdd53649d4a41546c8563d8e8d7800b19404efbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 AndMultiLine False Passed
4c7730416c54085a74fb0c4c757209087f8815df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 AndMultiLine True Passed
c7cbf8d770e79d931f6494e40770e30ca8fcd027 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 AndMultiLine False Passed
874cbccdd7a9cc9a2bac27fc892a1f1f2b5b9e28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive AndMultiLine True Passed
7e1ec42b2ee7912351164be246a64609155db1fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive AndMultiLine False Passed
3b337bbd747b9b8dbf0bda4f53887cdeb5e3e062 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive AndMultiLine True Passed
75db76214466be365a85f5d093af912960746d97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive AndMultiLine False Passed
a71777d1ee368d62e69aab7e68d997824c8e6c99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends AndMultiLine True Passed
ba46e39bb385a4803a06627a50dd0689307c9171 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends AndMultiLine False Passed
396022d0e5ec7269e310c748abb8f2d548c4f7b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder AndMultiLine True Passed
d1e2a04b0afdf2513042dbc4af033f716abc38f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder AndMultiLine False Passed
5f13ffbf2bf8d6d95e36f55c259289a8fe5df7e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable AndMultiLine True Passed
5e72897044a12e2e5aaeaccfb4ad1cb917aa473b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable AndMultiLine False Passed
2d580a905cbf09eaa17c5954c655bc51b23a68a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude AndMultiLine True Passed
e1a73c312cf17cc768625d33d82dc04c8b59994f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude AndMultiLine False Passed
0ea5d57575204fc504b9d680172c4acdb2515931 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant AndMultiLine True Passed
10c6605b62d1819275d43601b18f3892febf6a11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant AndMultiLine False Passed
fef8dc581e4c7a242910369c9eeae450e9f90c2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 AndMultiLine True Passed
48338e954be5747d0729fa59e821dc765f73f9d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 AndMultiLine False Passed
68a12f5d426c6193c2e5c6ef4033181e3e7d1440 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance AndMultiLine True Passed
23ce45377869ff1c11615855d5efd9022dff7714 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance AndMultiLine False Passed
cb127ec28da31b83c1e8b627fb1632053069948a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith AndMultiLine True Passed
04f9384aa7b5f56d16f7de6915b6a62c7c024b31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith AndMultiLine False Passed
1b57d1e7eef627b869e515a35761e1597fbeb9f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed AndMultiLine True Passed
45fb3cc8c0cd1cdf70811a931565627f1e593ab5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed AndMultiLine False Passed
8a6b0422f577fa956e95138c5e3ea76dab2ee265 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith AndMultiLine True Passed
2968a8e29d38d584e41d41f3f3b74891c867c83e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith AndMultiLine False Passed
1db4386802e4a8a5b4ee8652df0d38c6bd5b87bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder AndMultiLine True Passed
66968176ecd4d1c27342554f0e4855a56e73ba71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder AndMultiLine False Passed
b17e50fa0c2a1b07b03d52d0cb5577a82fbf63c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder AndMultiLine True Passed
5fea21aaca21327ea4dc0be04979a079fb936611 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder AndMultiLine False Passed
83fc10c818c317af7603f1efebfda45f8a0a6e72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder AndMultiLine True Passed
43c69595efc0da3bdc960477bca376b4a9f380cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder AndMultiLine False Passed
e63e6a1458bbb08b1bf57e27c4226278da8a7152 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder AndMultiLine True Passed
afce213001c23cedc554a3de54e32067f8afc7a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder AndMultiLine False Passed
2821181d586a20912f82e42e12f7bb0a1f0b84fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled AndMultiLine True Passed
b1a274b78325673ac1e691f28c331b29701927dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled AndMultiLine False Passed
eb7350f78567fe3970e9a46212cd4e9c9b1899b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume AndMultiLine True Passed
09ecd23ceec115646112d32ceca48568d7595bb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume AndMultiLine False Passed
b5bf9ad1329d509a0a8fc35d6d5063ef1d14fa5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed AndMultiLine True Passed
a431fdb79dffadff889056b1c677bc5a47c0aa5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed AndMultiLine False Passed
71e767bc2f99697bc9e980be1213ca05ed43df58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda AndMultiLine True Passed
b79f5fa80385b366fd2b00f254c3bb7b7f6b17d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda AndMultiLine False Passed
c09f1b71e40e64f8e45000ae1784204547d01b87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond AndMultiLine True Passed
aebf32cc7b57e821069dbc6998e73f20fa661e25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond AndMultiLine False Passed
4c902761e0845443ab0fd9d23888bf8c56cc47d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen AndMultiLine True Passed
21599b35fe7ff25a984c3720183bce8a65d05d77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen AndMultiLine False Passed
69184d6e4e92a9e24dde967367cecd547331f9cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse AndMultiLine True Passed
d610ad6344f4eed1a3ebd8fc9a591e585f305406 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse AndMultiLine False Passed
5050f14aeadc1d6cab7ad802b5172e914a7d7334 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged AndMultiLine True Passed
0601019e78a13c78343d56a644e7181027185b34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged AndMultiLine False Passed
13320b3e1897a4fea845391de03a7968d7c31127 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence AndMultiLine True Passed
a12b59aef8273112fa9c8de4ffcb43c7f280eee1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence AndMultiLine False Passed
7a499191cc59686eefab47b4734c9d3aec1ebf34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun AndMultiLine True Passed
f5f44ff9e40741f01804e6ce699479bd3ca1965f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun AndMultiLine False Passed
3c6fa41a1a19057e2a29d580d3ac92ec4fa2b138 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval AndMultiLine True Passed
a195ef35c306eae13c6e202f8b27e6488d9eebb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval AndMultiLine False Passed
9074bd6b040ee74e5c2a18235ef0ce0544e59b3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn AndMultiLine True Passed
7c59b6a028ecca02023d7f8ad571995b6d402e13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn AndMultiLine False Passed
899eae7b5e30d7de685d176b163d6be9159fe7bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn AndMultiLine True Passed
57655713077ade73735d102a606a7ced168ff09b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn AndMultiLine False Passed
12ae11bb82c18a97f19da0f444679356f9e06a07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend AndMultiLine True Passed
4d13ac572b9cc8b59704dac0462303e19440f740 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend AndMultiLine False Passed