Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
4625f22005013ab1e8c42e1dda2bd70e015c1c33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SeqConcat True Passed
b2a1be0bee05e5cc21d6acd1a8c4f4bd50e98d42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SeqConcat False Passed
e62c81df1eb2e06e8748e092b73487eddb47a2ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqConcat True Passed
7de2a6d184d8bb398f4590854749687e3d455eb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqConcat False Passed
acaadd7ce9ec6bc2ff01b19963196f585bc52122 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqConcat True Passed
4404d056305fcbde2bd62b81de3305504474a590 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqConcat False Passed
d936ab32e1b32794216e934c2b837fd667cc98c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SeqConcat True Passed
beec30b270e918e3125dd644f0b10d4a381a11b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SeqConcat False Passed
3d88a217cf63ede1a90c360369ee2beea263ff54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqConcat True Passed
de55ccb5dcd059f0c208121409e656657443b498 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqConcat False Passed
c252831a55d2e6b032aee7c929844eefada8eb6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqConcat True Passed
4edd82d9c31a96a0d2514426130b0d943c56c8a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqConcat False Passed
ed34f33a00628168054c0f10334538cef66230ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqConcat True Passed
3f501fd812f8d21bc415cf52114b5f95c37c1dfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqConcat False Passed
443c9df945d1fd660808dc151bb19bb9f0535f84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqConcat True Passed
efefefce482beddfa6f3cd78ce9c5986a9237c78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqConcat False Passed
7a3a1e851465d403747ffb1369592bf88544373e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SeqConcat True Passed
b923f3b1e27a95e6724d34fd9d4a4b92429abf81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SeqConcat False Passed
7c3fd779616def084a592ba0b0dbed83b661ed97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SeqConcat True Passed
ec8ec867644968467bbe1f97c98e4ac2051e8497 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SeqConcat False Passed
02f86e50f00f2f9d5c9c7d6ede9dfcd66fe851d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SeqConcat True Passed
1ace35e0897a132e7fb77416d10cdc5ce31b21a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SeqConcat False Passed
b9a4e386b6f7ef899d1e66888dbe13445e50ffc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqConcat True Passed
936513bb7135355f0717c5d69457180184db7569 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqConcat False Passed
06dd60e83c86d04aa4d80c82c2178017f50bde1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqConcat True Passed
a0eb817dcbc2927221e9659e856062b8506905ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqConcat False Passed
f4aa90208f3e50b0460304529a778b3bcb6f3aa0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqConcat True Passed
a50bbefb571bb49294482061bcf4baaf9305d3c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqConcat False Passed
a0b7ab3d7f0249aeea6f2fec440342b06ddbf559 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SeqConcat True Passed
bb3e8dbdf10c0c27722d9754559c7f01db38e4d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SeqConcat False Passed
05ab4fea2fb88d6eab4900bb289900e83f316d19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqConcat True Passed
e031093dae655e7f823889a975d847efd95a4b08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqConcat False Passed
1615185f498c256c8a168acddf71b5d28c0c1622 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SeqConcat True Passed
b8237a1713147b72b380d3b0d97e0b7fd17e861d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SeqConcat False Passed
17a58989bf14ee57170fa98bc27866c24d237cf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqConcat True Passed
eb8092ae9610b66e9c287cd3dc89c9bd48f4d451 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqConcat False Passed
5a32f83f057b75e506555701c62677b81c169dc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SeqConcat True Passed
8dbeff869d05cac2f6ab0506b96de583213315bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SeqConcat False Passed
5efc5aeae4964d018658752c43545c2648b4d282 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqConcat True Passed
77854b2fd0cdb57d1dfa2ee48328b8113501b5da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqConcat False Passed
63a2682c44569f75e6d48508bb58c35df3ef684c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqConcat True Passed
70c0a893cb600253dad231bca4c12ab3a8755beb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqConcat False Passed
49a46c24edaf9b22a17d616bab8b8772911f1ae2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqConcat True Passed
2827ab15b5397c9964bbf3868e6ec171759f6ba4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqConcat False Passed
23a4377c749ff7b674b4f385aa47adbb08ccc9ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SeqConcat True Passed
0a1a932ae59a8120f9d14252b116d136b6818bfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SeqConcat False Passed
4246d3e403e5d84425da2824c592b6e7c531e8c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SeqConcat True Passed
267630f76e2986e22132c307889e866f6fcde60c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SeqConcat False Passed
aaa3ec8dbba59c19e08ae2e2efdc0baad0d6296d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SeqConcat True Passed
515e87ea00b216d477c769a5b4b4ce63c527b4d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SeqConcat False Passed
563f3c83caf968c814abadf7caca85e17d157324 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqConcat True Passed
2f379350c2b65a08dc1fe89ba4863d80617ce4c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqConcat False Passed
1e39f1b3a480fbb7439e7cd9de31fbca8269357e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqConcat True Passed
f871c43542c9110965f4b2926330b6b1cfcde1bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqConcat False Passed
5f08c5329c66091bda8a19a4d39087131a9cd18b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SeqConcat True Passed
693653219b6a6a08b34de6cdc5e94fdcf4584dc4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SeqConcat False Passed
5b53fa6465e58094f7c9a6a2f08a27e7d8b5229a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SeqConcat True Passed
7377284694d4964b745bb9691c2b73b6167addd6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SeqConcat False Passed
bef6617daf682d1e9bd952d54490ee83d9502ad4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqConcat True Passed
53475002cfdeac11c2d20efc60c43ef5b53134bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqConcat False Passed
6566f0e00bd525d1abd0f36a2bc08ee59cf7ef74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SeqConcat True Passed
c5780ec305e3f7f3469ddc181ca1f558eb6ff0e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SeqConcat False Passed
a03d7547c9f2faf49467d6ccb301f759a51a108e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SeqConcat True Passed
659ebb62be27209a5e13727f77659172952cace5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SeqConcat False Passed
dad6c36fdc22d6e889067a83998bfe20ed9181dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqConcat True Passed
a74ec3820380fcea8282b57aef69dd4cd1eb2c97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqConcat False Passed
1fda466a2275e0b57a5acb1820628f5042dba481 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqConcat True Passed
ebff78c7364af84d73dc7e53a44a90aa7a2d897b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqConcat False Passed
68ee5180c760bacb6587cdf30a360902840f99b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqConcat True Passed
3b0942355ff1149ac7616b6bc1a87b0a5fc12d3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqConcat False Passed
c5d9c88f48184ec250a0b9be2a2f843b33237a46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SeqConcat True Passed
86ed2e790fa493f06579a8c23f72b1877d231ccf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SeqConcat False Passed
c84d840ec16ae092936ad0ef3e9ed87755b84512 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqConcat True Passed
292eaafb5b6607aec9b92a72dcdf6766b0ee8f7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqConcat False Passed
d7310dd1281b09527121f26e4e0904e6476ac5dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SeqConcat True Passed
8af10f527cdfae8dae883650f01ae4ce17e7e73e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SeqConcat False Passed
6011431d8dbf1095a63148967f829096176b82a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqConcat True Passed
cedca893bb3aa690b1df98af5bf06b360b35561e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqConcat False Passed
e7ddc6fb80cf8bb0cb5942a7ecd5dde3409faffe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqConcat True Passed
92647e32baa57ad242543d9c71e554b55607c599 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqConcat False Passed
fbe02725e75f022ce254edbfbe096b6c7175b302 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqConcat True Passed
5f093edf2b938e10f7b58e19f547188aace6fc03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqConcat False Passed
ded8d179fc6ca1150780ea2dd900c0d67b8a6bf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqConcat True Passed
ca980a3321d8d134f0be94eda3a722bc6922ec10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqConcat False Passed
f08796858463e4b23b7b369924adbbff857236b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqConcat True Passed
379cedda9c9bb96ab03af3d99abfd983fbd3ffa7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqConcat False Passed
70236515be154a4399a383db437e19078ea757b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqConcat True Passed
2eab7818a2f8221434a239247d9a049ef72a9aa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqConcat False Passed
fbc80050f5f35d33448c029147def5410203d5ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqConcat True Passed
03699ce5c34302d66533e5e847446b506154c9ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqConcat False Passed
cf00cb9049d76039f85dc4a9942ab7813fd56ef3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SeqConcat True Passed
679df03710977cc822ee5bc69dfbf693dfebef06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SeqConcat False Passed
bde3f8e6f656fa9628e6fedeae63e8360ff65928 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqConcat True Passed
a6061cb782290ea450f9b7ec0e1902a8d9f37b4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqConcat False Passed
5808aee75aaec1a3e68c84462b345b57be05782c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqConcat True Passed
90a157bb6c1c351405c4efd29c71aa703be7f1a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqConcat False Passed
ef1e3710940103f1578145f0dab106b5f8805182 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqConcat True Passed
468105a032be528dc976d0d1b50beca45c106db4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqConcat False Passed
bbe62542dee528415c53f05aeab6d1ff03291f7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen SeqConcat True Passed
a9ecbfa86e7174825422f9436747f2d8951e4f89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen SeqConcat False Passed
6b71e6efec52fe3f5bcd1356101ffa86970e2241 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqConcat True Passed
9faa8bca110358b0d6cdfc6c727d219da6e660c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqConcat False Passed
dc36a36dea4f15dae774f1e6bf67c20a0c444fcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq SeqConcat True Passed
87477c61db171628f277a9d68b15da5eb177c17d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq SeqConcat False Passed
820aa3d08aed7bbb3052d4e2c6fd318a0d2789e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqConcat True Passed
7107749718f01a698d1b2000e1a97aa909fe4a60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqConcat False Passed
1e6b47e9c52ac0e99d70eb15f2e7a07ecb1fa609 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqConcat True Passed
c1c7eb0c177d1f7649285a7daaa87bcc3abe0252 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqConcat False Passed
0276e696058443167b08ddb945f93206e39e8c0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqConcat True Passed
71e9a063d090c17510c6525192447174c229bc09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqConcat False Passed
a9f5ec53966ef5ccd4ef63b3fbdb54619c78c68c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqConcat True Passed
6759eb6d1b0a16572a903287ccc445d58e1efc77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqConcat False Passed
13f6da9d1c30310a4e394f7209be89ecfeaea505 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqConcat True Passed
44e1e9b13e8649cbe38abe5c68fb9e9ae64f86ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqConcat False Passed
1e76e2b7c5de655491366b9a41c7ddad7653d169 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqConcat True Passed
cd4c29a2c04c842a3513fcbf3f7aa4d88d060703 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqConcat False Passed
f8f545ee92a17e4ea18f6b95422f66996b4abb79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqConcat True Passed
a6f33d76fdfba7d8f0bc7edca04e4b8a23d148f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqConcat False Passed
de0b67baf73aecc9b1e51321b8f5b91d13a47324 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqConcat True Passed
94442f5a4a476c1c2babc1f4ce7dd11c88ad5847 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqConcat False Passed
e04fe13c45e54b7a2b73d040f019700cd255b46a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqConcat True Passed
231bbf62b4b78ed0c1d0fa9bd51dcd821235a0a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqConcat False Passed