Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
39ae06262bdadcbd9d2b50adb2f714a3e5dbbb55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SeqSubSeq True Passed
bf1bb54c902841e521b4096fd5c2c168796df8f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SeqSubSeq False Passed
35c6a951ec0075d89a0e1de331d26b2c88f6e6d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqSubSeq True Passed
05c8ba2c5cf57faa924fcf10b6cc3220cf941cc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqSubSeq False Passed
76f8bb6af619cd7acb180c99b36b9075c8c1734a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqSubSeq True Passed
42249ec7d1c2f3e55bb72d02a4cbf0c6a2182488 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqSubSeq False Passed
8182182b941d44e4492770bf37b6d1137728f7be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SeqSubSeq True Passed
189d2be4065f58074e33af06c4c7bb00b04b4f83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SeqSubSeq False Passed
a206cb82d0624b52ba8e7e33d883178af75a0a49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqSubSeq True Passed
c4d77c591952e40c38b228f9470bd9576631a05a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqSubSeq False Passed
cf13ad67e74164a8827d7bda198d978d65ad4867 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqSubSeq True Passed
785da70d6f7c7bf795c86b7199d627086f4cd95a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqSubSeq False Passed
b3eb54579c337e6edf18561ca1ea4985b8b8b461 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqSubSeq True Passed
54e78ad86cec14a1a6b81f5e98a0583e1319c9d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqSubSeq False Passed
2a99e3b4eab6d63a493bd0263acf377cddfbfb7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqSubSeq True Passed
c85564e5ec3bca909e30175ec690c86d692f345c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqSubSeq False Passed
6e83701b005cd5c5301ab9aa2d5d9c9d48406829 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SeqSubSeq True Passed
e198c872c089478e58acdbeaceef50c7a7066a51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SeqSubSeq False Passed
1c749e4cf047296ddee1823cbd41bf101482e948 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SeqSubSeq True Passed
409920ee295f843202720e5c1c8954653586b971 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SeqSubSeq False Passed
58b02476ac3baca450421deebba62b88927d59ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SeqSubSeq True Passed
37a4dbef3db0d761e09697da1fd3c66f6412b2c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SeqSubSeq False Passed
c533b93490f5e3396a7352f7804dc61f4b535b37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqSubSeq True Passed
060d67d824ed38fe1a5923e9f876b01724bda976 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqSubSeq False Passed
ac94c1c6f663053afe93737d3114c4852667ed2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqSubSeq True Passed
aa9e18138c2dbcdb5e1270be0096082903957e46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqSubSeq False Passed
5d301a41098d863af8b8efb2d42e4ced4e13a27c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqSubSeq True Passed
6bcb718bedca99b31c9b308f8eadfe9d35ce32c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqSubSeq False Passed
299d61fb22e2171dbe42a53ca49f0bfb63f36330 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SeqSubSeq True Passed
93f99564748f0c273f94ed656d7b14f7b5acc414 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SeqSubSeq False Passed
9aac00b203986bcbee6dc54917544f2d31fc5643 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqSubSeq True Passed
5a6df784d36df61ca7cddadc8c3e2d1fc90d72b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqSubSeq False Passed
237a77056e3ca31672943ab19ed307994f3aaefe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SeqSubSeq True Passed
ef8a13b8b0e75a27463830473b85f4ef4a5b2587 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SeqSubSeq False Passed
e7d69a03074b7c73105c5e6a1790c9136f43b7a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqSubSeq True Passed
2148efed64103f4bbda5a9765bde34def12bfdb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqSubSeq False Passed
0766a86ba5f35992cc783ba1eb5f8c36f6ba420e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SeqSubSeq True Passed
07b8f0a95fb9ddbb924ebd53c33d7140a058b427 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SeqSubSeq False Passed
541f899bc3c887f603cf1a1c2d2210747f258009 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqSubSeq True Passed
6176ecfa899684020b0535b6f36edadd7af4401a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqSubSeq False Passed
1145c012d10258e55baf1686e5abd36e4580a18c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqSubSeq True Passed
96b7a5278688f9961d617677ae111cf86a04da37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqSubSeq False Passed
c58d578f046e2dfada92f678b0cfb6de4a31e36a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqSubSeq True Passed
58bc153c2f9c9bc9b9e101c089023d474fb37d67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqSubSeq False Passed
18e8f7fc18eba448f2f6e69f953847d4f1d78a14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SeqSubSeq True Passed
eb6d7dbbf2a8bb0ac8340f111ccaa61b7bd5c99b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SeqSubSeq False Passed
580fa0b2dd1a06071736c9f2c758b73635ad55c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SeqSubSeq True Passed
6012a59b0c1fa6a0788e26cae3eb1c96a76fd5db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SeqSubSeq False Passed
79bebf02b8f90ab5729fe019da1ab09b44668d0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SeqSubSeq True Passed
a9326936b86d9b993db4c232659bf618344e0ab9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SeqSubSeq False Passed
ef3dcdd2fb2a7aaf6746c25c49a11e76f8b4c360 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqSubSeq True Passed
d3c38a389ad9804e54f294cf6ae8f1c0b96a0d69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqSubSeq False Passed
4e078add71d57c4acfbfa0677a7be10b28f243e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqSubSeq True Passed
0f794ca0d981b49aff5b50c3f5efa6e835005457 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqSubSeq False Passed
46287cb8559557f7350016b96eb5a08d24c2edd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SeqSubSeq True Passed
1b23951925e72bfce6ee200302442f7873efe251 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SeqSubSeq False Passed
244bab01dcdf531f7ca06c7f41a5c9ab8a8f3691 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SeqSubSeq True Passed
fda83604ad87f8887483ef36b0629dfec023ff8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SeqSubSeq False Passed
6aa426325ed9a5cb08e6fc7e379fee2c412b25ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqSubSeq True Passed
89dd1227123cab4bda241787f763f7b07be6b405 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqSubSeq False Passed
f71d759549c597da7377bbcfbede265d371a7bf3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SeqSubSeq True Passed
b20eaa43f125d05eb842b10f63e7a4522d40c07e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SeqSubSeq False Passed
bf135537199d061070dd0c5c3a0d7020ee764888 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SeqSubSeq True Passed
c60dc1941407fd49035f54b5ddae0bfe8280f564 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SeqSubSeq False Passed
05a539f6c5e2874d9dbb0c456546d0e2a69bc702 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqSubSeq True Passed
1b4e3ee4aaa9eb177ba4d86919155e24da6e1529 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqSubSeq False Passed
aaeac9e6e80331dba225bb1312ac1e3d602043f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqSubSeq True Passed
b8c97538dc543979af6eb97eedaa5d868f1c24f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqSubSeq False Passed
f33dd6dc4354041b86ba1008dbcaacd4186bebed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqSubSeq True Passed
897492d984e8fa5a3b17a362f969a432dc9969e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqSubSeq False Passed
3f265e8edcd79cbad0bba773d5fc5bbf5535b9b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SeqSubSeq True Passed
2eda94cf0aea61ad18ecb83b961b12b9a988ddb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SeqSubSeq False Passed
59d70c9475e061a064c291da6ba7d799a12ef6aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqSubSeq True Passed
5448854a5979c6731102b45e26947bc80118a6a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqSubSeq False Passed
22f48db3e335b20f1aafbabe333ffcbd2db3f957 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SeqSubSeq True Passed
db3481c9a1eafc011ba1ccce8f61ea2d485fe5bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SeqSubSeq False Passed
06184d70e7ed569e9563884767507b9d4f086655 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqSubSeq True Passed
08eca10304cfaf299373af2c22f60f6098c36a28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqSubSeq False Passed
26344cb116a091b8d193060effc32c44bb886482 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqSubSeq True Passed
b4e1cddb5f5a61123c69674abb4e2297aade1d27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqSubSeq False Passed
92337b5fceaa3bce93d3d55b6827eabe9c782314 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqSubSeq True Passed
7312b6756bccf7380b659289db2f81e92f4b5396 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqSubSeq False Passed
62baf8ef4fa6893a1b85184ee03d340254ca3cb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqSubSeq True Passed
11c3b2336db7b282eb21368a81ed9a37fa0bb9c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqSubSeq False Passed
0bebf44d17331c474be38e2cb8e59454c807824b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqSubSeq True Passed
fa82e3e1bc099f9d164bd536f4b4b92cdd4b90cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqSubSeq False Passed
dfdd61fad827412fb49f4a43555da5f62e630cd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqSubSeq True Passed
356fc787fbaa64211156bb5e199fcdf0cc9e3410 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqSubSeq False Passed
34a75ada9f924aa9983763d4006db66f2ee2bfc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqSubSeq True Passed
b06ae020912ac1be5789cc55ef6913b0f2dfb919 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqSubSeq False Passed
30b3f70aac1b923b105bde8a677ca2ed1824528f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SeqSubSeq True Passed
94e0039a00cce6d145e2c7872b9aa71237dd62fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SeqSubSeq False Passed
5477ccef14aa4be5868da44de4c89e408ecb1a42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqSubSeq True Passed
dc01f8140da91cbacd9b8110b93a18b2a37c6cfc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqSubSeq False Passed
8bf486224b6595db3a9a80646dfd645064d52828 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqSubSeq True Passed
231eba116651035d0cca781d98a4f7bdaaf95195 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqSubSeq False Passed
ddf066e130f8eb314f6b4c4ed961d5864e70ed25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqSubSeq True Passed
3296fb19154d9a636b0a824cc673c7219f318f69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqSubSeq False Passed
2eb3ba8a8f3a2322f68ea2687417a8abd5058a4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen SeqSubSeq True Passed
714f1f3ff9d06888d7b33b7a650c0e2c4b5a8613 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen SeqSubSeq False Passed
862b04f8c154802abf6fcded4a940127cde4c7ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqSubSeq True Passed
9033c83f6954bb76a1eaf0306dd3cc68ccef1ef4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqSubSeq False Passed
0dee2ed511369684104914d8cd1e3d8c14214135 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq SeqSubSeq True Passed
ca66bf0ae546ef37b9b6bb1d6bab1b03e2775a8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq SeqSubSeq False Passed
626d0a17d36658fa86011d51a7d77ef10f207509 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqSubSeq True Passed
10d300976ffc66d461247d80f484dba427396ce7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqSubSeq False Passed
7b4f931e195cec2ee1dd438c2ca089de07e3a19d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqSubSeq True Passed
388374298b1e7c6d92bbca4fcfe5d0bbaeaf027d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqSubSeq False Passed
fb2ba3c6b9840a2ae7a3290bda0893342a46d3c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqSubSeq True Passed
6c2054a1ea62275a73959f4a723b3abdf1c3b084 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqSubSeq False Passed
bafd179364e81af55430b8282fa097c710a38d5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqSubSeq True Passed
317db32e58a28830890df1bfd83a01bfedfd3197 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqSubSeq False Passed
88ee89dac0cb24cc54ccc667d54be8cc6996ec87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqSubSeq True Passed
2e22b4fda727283f7579a263291815858d41680a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqSubSeq False Passed
010a9a1a8f07b5e380344078d1c9be0cb212cee0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqSubSeq True Passed
57df985022ec8643b8fae572dc94816b5197096c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqSubSeq False Passed
9f95587801c887f80beb0d841ef0994d2fb5ceb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqSubSeq True Passed
ea603156146bb79555513de8344a957149f8c1fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqSubSeq False Passed
08f3ff18a183fa2a0bf118aeeaebdf9e018382c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqSubSeq True Passed
21e33eacd6692473565f167115109185bb622cb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqSubSeq False Passed
3f615c8888af72f3dda472ded6bcbcf5ab623c9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqSubSeq True Passed
a34073f553a992fe5d6771a04ba24311b59800e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqSubSeq False Passed