Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
a6491a1d947d658a178a4669e11d2be87a93255f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Ne True Passed
87a6fcb782c0b53b5fbd1a3c6de8f1dad7a19036 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Ne False Passed
4f41f57ac7c9c38fae3a12e532ce629b6ea7bb00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Ne True Passed
c71994c9d82d9eba26da98f2eacfbaa290fffaae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Ne False Passed
0cfd9a6acb049c699d425cec7601db4d1863af37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Ne True Passed
81ef31b18e981db436dada53f4ebef3464406a0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Ne False Passed
7cf5fdb9c793430c3b427c8d7708ee860b651809 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Ne True Passed
5a8fcdb6dca2a3ffd7e23c413dd2a5e495583064 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Ne False Passed
2c0eb70c9308602843b59656ca79cfc821fe8851 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Ne True Passed
25e0df2a8ad20feee6adaa3318cee17b9f8a97c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Ne False Passed
d6f170005126d08cca89e19cb543fc91c80bd4c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Ne True Passed
8d237e219cb2de9e1092062e0f74a038b8590e11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Ne False Passed
97e62e4a9dc603e27eee2434076fec0ff099b0ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Ne True Passed
c56f0a905ff1ccda3c7910bf70d73e303470fc96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Ne False Passed
e35d4a539cdfeed11c6493bff28cc30393888809 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Ne True Passed
370a1335fed97b00ed0d9e4646502e3ddd9d1114 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Ne False Passed
d036241c90151a84fd51aa586a1ae5ccc79881cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Ne True Passed
337f494c4813558b67b88eca90cbb7239362d25f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Ne False Passed
499ee28ded473f839973c9766757e6ab076b3728 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Ne True Passed
c15c8ee96a0e1b4c0bb02a7c381ba7436742f1fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Ne False Passed
1bbe75a0d6134e69a90fb881dfdc5eebc2f162fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Ne True Passed
89bf090e33718894c77f0149d5ff84985f7fa18d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Ne False Passed
783271e1b1655febe60b992cc21532473609d3bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Ne True Passed
2449e0ab487d3371c8f04ba31e8caf15470f078b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Ne False Passed
0747e33095a64f48d1725a6eb9f4bf66da49d744 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Ne True Passed
b42a395ea72259688928a6dbf05c916655311438 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Ne False Passed
c9b2e4038bb46988297b617ad946ac9f5290f26c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Ne True Passed
eee6caa2219e846365dccaf50b54ad3e9d27be45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Ne False Passed
77d6d5e902bbc494a7140b00f31ac89ae143ba74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Ne True Passed
0b1dd90e26a40805f58804cdfd0d177e7990cfd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Ne False Passed
94a1be0f30d1c9cca6d53bd719e5dd5552b792a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Ne True Passed
e6b9977385ab852fa932f3a829a7b5b94c3749bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Ne False Passed
d7cb86277a56bd1d18435ead13f03aed9344db21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Ne True Passed
ea98b9b534b184b4c03fb76b819ddf7971616b38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Ne False Passed
015582404595e55bd3e443fa7af15f1ddaa89573 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Ne True Passed
a6725f0db3924be72d9f3a723737016b88b80911 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Ne False Passed
642949d739763bfedb2d87ec1ec6e1ce609d0f91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Ne True Passed
d92237081826b053e84aa905c3be6554dc4ada7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Ne False Passed
aa62b4f113072754aae3c20ecfe57d7c6463b8ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Ne True Passed
43744d652ac33fb4a509ae806252f0f19b45daed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Ne False Passed
78640545c92f27e5f9f0ef701362e6e82ec9996e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Ne True Passed
097012b0bb3088d9b568d52d5d073796372eb3bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Ne False Passed
bfa8cc7ac95ec544a402558602646fb6ce45f677 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Ne True Passed
f4e30fd5a901d3d649a8eaceab8799d736aa42d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Ne False Passed
c03ed721a4715d35084999078afd6e5fba9bb4de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Ne True Passed
e87528e2e20346d487f194ba7d1768bcbf78102a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Ne False Passed
27cac3cdeab1e3c049d31810815385fae54e0d06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Ne True Passed
9f83a4a82b4c77617f6cd7ff7864975dbd613ffe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Ne False Passed
230364410fbcf39ef60e2726c7e696fe21bd60e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Ne True Passed
eee4921ca820719597b1074499a91946dc451a66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Ne False Passed
fb243e6fc0f3e40a6d7d444fc1dced08acf7374c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Ne True Passed
75b5cafd112b4c347f8d512e8c821454389411c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Ne False Passed
bc0fd19b0ff9fb5913a1e84984dc07bfb8cbf222 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Ne True Passed
3e266da14592ba95f3564691b43007123671f7b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Ne False Passed
eea87884cc3b16b983dfa39439478ecd90e70a04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Ne True Passed
f7f0a6ca6de7459dbe2edce8c5f7595d61663201 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Ne False Passed
d8cb6deca69e2375832739f726cb93a172daae5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Ne True Passed
fed7ddc3d7f882bf1b7fd4f131a508522ccd6959 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Ne False Passed
e7827c7bf60d3367eb6e564cf66e0157fa2db230 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Ne True Passed
a94b9ed9767012676fe4612d9783f4556a042972 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Ne False Passed
8e499b2590f0c44a75c67081d426cedb8c4f7a79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Ne True Passed
8926f0ba3768948a50bdb6eeefbb4d7eb292a6cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Ne False Passed
e287e78bcb8a2d56cca5dd567b719b97517d3145 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Ne True Passed
d5a32707253ae06ca1ef4f01592ddac3a1481087 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Ne False Passed
397c68e92285b8f6eec6b545babbffa6b3449018 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Ne True Passed
7a10cc35fb91c47286226588ea16415b4c8aef44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Ne False Passed
ec0e27c32ed3b4f8f11b290efe8bcca286096edb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Ne True Passed
c5238551153c4dc51829feb4820c0a980d2a4a9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Ne False Passed
798aff60258298e40b0ee1753ca48ac917737b22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Ne True Passed
652767eb0bb92b887733f76fac90ad3e062c2073 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Ne False Passed
36050081efec7b2ba011ef7854faf64d125610ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Ne True Passed
1bc9b445ebc03db56c7798cebb9f8abe4eaa1ca1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Ne False Passed
34234d63f582227a60b9790fa00d13223fe8d764 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Ne True Passed
eb435ce8aff6e98d037dd031d54172cd5f7564ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Ne False Passed
4d745bfd8a6486cc3787ea306a624ed44b63a419 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Ne True Passed
d3a54e75c305385057fab7c433e52756e63c7ee7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Ne False Passed
6c58e294ec7d54be8dff0c37f59afb468de5af31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Ne True Passed
ea6bcd5a4e5258f490d14c995dee6d8c40f25982 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Ne False Passed
e3c04150f442581498d43dae43ab37ecd0796d69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Ne True Passed
90481f40ae180693c66d1bee1c9f5eff4fec069e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Ne False Passed
82171f2e0ccf85ae69072aa7324c68bb62b33541 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Ne True Passed
e717a23c38856c52036c94929674798da6497de9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Ne False Passed
7fcd4f0103b1db3ec4a5057cd0d8bf8062763209 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Ne True Passed
0184eb1370c04b07029516db5ba7837386d9fce1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Ne False Passed
b4b72472909d100358cb627a597b84b5d4219f94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Ne True Passed
caefa7b576b1d5404aa95c85f7ee0603f34c523b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Ne False Passed
dbca91d4c4a7cdc7b4e37d219e201008d762f088 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Ne True Passed
e5be9c34b958fc5ed6fcf7999e2c40a6b9e22985 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Ne False Passed
f1a944282f0e6186a5ec8aabf6d5c68931e25e33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Ne True Passed
794021f8b070edb6b285b9d6b16455afb5b33a89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Ne False Passed
756dd39eabe3cffb6a0b40bc5d610b8f631e79d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Ne True Passed
093f7d8e28cdbb46b5de8dc7532266960140c20e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Ne False Passed
e3014f062a51c0ff5cc776311e90433e28a68e36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Ne True Passed
fd8922c95d296281cfc96adc490ffc98fe09ea92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Ne False Passed
d1973b0f1ddac813165faae6ed40002c93b888df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Ne True Passed
d15f05734c010e0b73e8f5ebf5882ff3b4453a0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Ne False Passed
55843c68e74977b419ba7e28cb2f712950691398 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Ne True Passed
99ef98e6646e7103d9d1c8fbec984ba41f164c5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Ne False Passed
2d8d1acbdfc4e1baf341b40a77edeb1c6888561e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Ne True Passed
72919f542c3601109870dda8b41e8900bd966bbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Ne False Passed
b3a79cd99be1f802d08401b8a8193c9d21182f9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Ne True Passed
109aadc4cec02116c0e9561724cb2eec87c70f7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Ne False Passed
2af2699dcf84cb321cc0a2c3c77e54f152a2dc06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Ne True Passed
4503c9a62e49d3ed486ad507d7ffb3e2768814bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Ne False Passed
dffd99adbeee4cf009e10254df3baffda3366b37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Ne True Passed
c0d02b1a4ff554d4a555f1adf23636dc40182152 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Ne False Passed
839c7b9ed4906babe08fc468b768bf10f0d147cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Ne True Passed
7fcb0ce2dc94cfb81294320de7c80a6a36dc2203 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Ne False Passed
24f17f59cc6113ee0294fe6b0d8aa5ae7353c4c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Ne True Passed
d38455b614ce010eae139a8065225d2e9a3ddf48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Ne False Passed
dd0474233414cdad524388e02b65498dd92fb77f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Ne True Passed
54f1496732f644af3085eff57a140fc31ed85f09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Ne False Passed
aecfec24382398d4ce22c27313b8fe1a837442ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Ne True Passed
5877638f26198c9155969f944e286c6a2781a86e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Ne False Passed
0a82da79067fc8a9629081710ee822284259d9f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Ne True Passed
1018f2ec271d6248f721612961b77aa943ba9a4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Ne False Passed
b2e4339a52f01d609cdb3cf61db458548a67d522 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Ne True Passed
491fe72b1ffc4581ed94951a588a62225242a8bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Ne False Passed
cf51ac621f0c3f05504ae3d995c765ae9cee6792 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Ne True Passed
3224de28bf0e016c7945b623d8c2bd86c83d8fc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Ne False Passed
96f62da0450618ba89b397334a5301d1bd02e918 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Ne True Passed
66fce4c0d71081db89e5638a305e0cdbabdbb016 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Ne False Passed
468292ea88ebb239937625e3deb04a2a74afacbe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Ne True Passed
d9410a2dc23b8080bf9bf195fbcd5f3698d4520f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Ne False Passed
aea776c64936fa5f6e0ccc80ed900cfef3a06cf7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Ne True Passed
36781c027c3e34ce3a972f6580f2e778880faec3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Ne False Passed
4a913deb7fd8301f92c762685b69d41d18f8abae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Ne True Passed
d60469f847360d0375280f28e430f113568259ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Ne False Passed
ff726e1d1ed266f4d96aaf4a655e3823830b4f84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Ne True Passed
2856d8f76a7cb3f978870a4b5ead67a544259493 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Ne False Passed
17442b9365e6bd944c74ce212132e4c44a726e2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Ne True Passed
98b487f02e3671be2b20cb750eff2b3643d4d81d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Ne False Passed
72d4201b6896433a2ca2d0954ffc40a81307b43b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Ne True Passed
c4a93503c08629872a34b38886cbf3dc3191f5ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Ne False Passed
d9dc238f0635d270957cf361390968ef2579f641 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Ne True Passed
5d6f6191305bb1bf9c25278d1396e77f53d59748 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Ne False Passed
6c224419717baf353f7099dc861509185849971e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Ne True Passed
01812253c68a575bff23578d0a49541ffe7bc7f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Ne False Passed