Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
dd84eda7338742de258c7a89d7080a046d23b4d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SeqTail True Passed
ebd0cdb9b23878898edddfd14d6605e6589c8da2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SeqTail False Passed
bf91ad52ef0cd30d5aacfa98fc5dcbcaf14891f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqTail True Passed
5c68d6dfb1320b4771b3d4458fd25281416751fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqTail False Passed
79f92f3c93a726b67220f4689e5d1305fa0c6130 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqTail True Passed
e940ae1f6326d80019a2f870ffe2dfa589aad0ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqTail False Passed
6a1bcea814f9a74a67dabafa72b7c750120d7390 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SeqTail True Passed
8c35d9250c0708354f09ba50bd3522c547e0fc16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SeqTail False Passed
6f72d968b864531eaa31bbf1cbc43c00d92ef057 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqTail True Passed
e69ac30ccf436a252277405678518de63f5d7650 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqTail False Passed
e219e1d717b39c22417593e013fa041fd472b549 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqTail True Passed
4ab0b0d46c09128d0e2c2c04c8d6e789e9045e8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqTail False Passed
635fd6a9850363fbf7ce5bb16d8935997ad513f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqTail True Passed
0f69454d62ae5c4d64597fc8141f97cfd7a6ad48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqTail False Passed
038ecd6e5cb742ee80f25aa2f15210387454724d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqTail True Passed
c7dc8a15afcec2267983d00b7b2334f95c2ae350 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqTail False Passed
a55b81d42d9844c8f120474ed422875b5eb492dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SeqTail True Passed
88e86239e0d17403f0c787ffa582b89919535fd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SeqTail False Passed
efbf17d3125da216fc2391da1d7b075c0cc5fdc0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SeqTail True Passed
4406f0e8e33da319ce56020043c768f661523250 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SeqTail False Passed
fec099d7ca8675acb03970211fb834a1730d8f6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SeqTail True Passed
394b27aeabb8b73dcfefc6a94fea81a5f4b3cddc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SeqTail False Passed
c43d3c70ad393ac5db9ffb30c3cecf40cc178b60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqTail True Passed
cbae0f6f2cb8330fc9da4da3db0a6c88d9a08d5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqTail False Passed
690719f2204ce39000e87e7d8f1b8850e8a44ddf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqTail True Passed
9c7ae603d96bcfa4fc0a1256d9b69f3720ab1204 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqTail False Passed
9733e0978a2db39fcd18bc91a576fe0400f4cb5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqTail True Passed
9d745a58afabf35cb76ee07e78d7b0e171536194 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqTail False Passed
bb4ee030965c782dac3affdb1190811d00350071 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SeqTail True Passed
11cdfb0a8e8e225f882e2a9f682d7426bcbc37f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SeqTail False Passed
356f1232bfa8b66f392ffd97fc9072a3d8da14fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqTail True Passed
a4589821b811e8f39f1c2c22eb98d7d39c373245 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqTail False Passed
34a6fe0985c95a01bc38e16bec760f2b89e8b93b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SeqTail True Passed
59582f8bf9703bdc68b2d605ebc11cfd996b82dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SeqTail False Passed
f4fa241937ada4a395be1643662ba5e3d379f7a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqTail True Passed
e15ea81fd5bab32dd06970f16c9153437b2462f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqTail False Passed
37a4c6424de5950dff774eade7b476940cec040c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SeqTail True Passed
3a5a4d797d4b4e7f161ec138274bcd5344b18726 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SeqTail False Passed
05ae00c61d893a9b5280ca7b2abc93de41934e59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqTail True Passed
d6670cff9a2a63136c4d2818b13701e199e28f09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqTail False Passed
32c8d23c1d4d429ab84cc938990f1578d4cf18c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqTail True Passed
96d6ad3042ec9a99fa1759a210fa6dd8dc1b852c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqTail False Passed
87bc5f66a7799773b78cd64fe40df6cfa2203831 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqTail True Passed
62fe6eaa8c90cfcd57361076f1055a21f0e9168e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqTail False Passed
aee5c295a74dec00d72b09040f17bedf8552a52d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SeqTail True Passed
9ab13830615c85b96bba08f57147144e06ccf073 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SeqTail False Passed
25bd2de5e38d9524638d7cf25304933752c58203 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SeqTail True Passed
de624c6e63550547eec82619f99f8d9dfffbc585 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SeqTail False Passed
e9655aa593afaade1c3a81c139e250b395d23784 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SeqTail True Passed
6cb02b9ec5e263259ccb8a9815b9e8e9937da170 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SeqTail False Passed
b6ef5f4add99cc75a395b53786954e8d4c8ade8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqTail True Passed
6a5687d8bafdebf0a7efc12c86e7c67bc2b0c31e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqTail False Passed
e82f39238410382747359b51a3331c6d17f8edc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqTail True Passed
9a5fa494eb3cc4ed7cd4b7e75e8357e6c5992e94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqTail False Passed
34a326fd096b3c548e8f566b95a295a4229170cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SeqTail True Passed
61749aa9fd4177a90b74c69b2bbbf2fd72f16355 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SeqTail False Passed
4d5791c3ef7fbebe05e124238539ad9afae88caf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SeqTail True Passed
7fff569e2e8a142557d4caef8db6ee0d5bd12661 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SeqTail False Passed
352796e2146ae0548a0fa66caa2eaf88db10ee6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqTail True Passed
07292917cb46668632b5eb3efc14fedb073c3ba5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqTail False Passed
9fab9cff3d2bc4c5be7a656e1deae5e119a7fb73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SeqTail True Passed
13d20c12164c6107aeb62243731af46fa3418ddb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SeqTail False Passed
5cbc5b4579e7ea26c6cf33130c3e4492f54d631e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SeqTail True Passed
572cab3572d46b1c4e03ca219cb39272338da473 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SeqTail False Passed
eac3e664ebaaeb0011ec67fc906dfae9a4d90257 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqTail True Passed
289f15047e7f580bcd9d1feec9cbc5752cf55976 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqTail False Passed
a269d4871c5fc9fd686293248b599a056855a972 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqTail True Passed
ea97cdba2e35a6be221e5b8ab3a14a79b9cdb20f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqTail False Passed
dd66c74ba03d4d6532cbe85586da1fbf751e94c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqTail True Passed
3fbe2ef97e74c2e09cfa9ba1479d47e1e25fff96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqTail False Passed
2deee2737061a4ef81b1633041f82a88b2398fc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SeqTail True Passed
b560723e9d011b549d319e9d3b021e6f5c471625 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SeqTail False Passed
b4647e3d3f92a87818221471d2007cd033e32e89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqTail True Passed
b6ffba046f31c8f4091f78e052d7f2518669652a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqTail False Passed
722ec6db0c9813fc43f61befb58fcdd3f419708c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SeqTail True Passed
bf0ee00c57a0550a3c6842dfc682b56e4534e730 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SeqTail False Passed
b7514c97bb79d59fd6c953ce36dc4da928fa093f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqTail True Passed
fdc63e791f82f2353cb85b33b8706a72320f4bbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqTail False Passed
51fe27e028c04aa80a20f0b953e45e157685b403 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqTail True Passed
7493c4415ee3f164919de17c1710dbfd0b2e79bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqTail False Passed
cc43a03e73b7693a3815f782cb4864792e7ee83b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqTail True Passed
53d5c4bc45f1ae38cc5378204d23d9a34507d4c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqTail False Passed
93675b7263c2de13fd2e43d4b121724e2991c918 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqTail True Passed
73f366ded925bddf69a7364b7c89e85d80daf664 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqTail False Passed
fc4581a36b9dcae4669d00a6907e804363a345fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqTail True Passed
b4843a8ca220c7646c04de24bd174a8497eaf484 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqTail False Passed
75f0925f35ffe8be1769e0929cb12bf10b32a1ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqTail True Passed
ca3910a283aee843a9ead12758902ccc70f8994d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqTail False Passed
1dfc08c834d44072814d7ec0dd7fef886b554546 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqTail True Passed
93d6ec98ab7f95d4627ba02062b29206225afba6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqTail False Passed
66a543a6ea48540635c28369286b084a6d99f686 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SeqTail True Passed
96e938d8159b8dd368522eb307fcb9c60854b741 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SeqTail False Passed
cc40d11a8d7e2b825b7043c0c1426a37a3b836b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqTail True Passed
0df2f4e62de47f5baa97003898039719b79a849a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqTail False Passed
35224fba8e408aa40771e5a91586fa00365c2a6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqTail True Passed
11e6b9fe59ad7ac269fab8f38abc5907837d32c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqTail False Passed
8c44c25a0b4e4205bb1b9ab7f575af31a739178e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqTail True Passed
3eca39ffebb5060705b198fdb282079021f549f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqTail False Passed
cb34180e857b0bda22bd636fc5a2696a2db236fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen SeqTail True Passed
fb7aa6b34a19c4796053178f0133b9ab940de043 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen SeqTail False Passed
bbea87cd6702d713bd50f8b68bb705f09bb60c51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqTail True Passed
2f47a45cc92cdf8bdf7a0a9138d6d155e4f9f9fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqTail False Passed
32b07ad09cd4b4b7e5189027a188aa70236175cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq SeqTail True Passed
6bd39d8cadb187b792bf53585c5f765d61b930f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq SeqTail False Passed
5b629dec31991e1ed5b99e2292d5af5974de0918 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqTail True Passed
42f72cc896ec1844f1f97b4628c3cfca75f4111c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqTail False Passed
52c6441d22885958fcdfad933bd8a12a3e584b52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqTail True Passed
35dcfa540b47b3eae32040efb20b9feb301e2869 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqTail False Passed
d182797a06699521cfd7e7d965e7d3705e19ffb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqTail True Passed
0d820b2fe4d723a5cf23cebbc73e466a8516884e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqTail False Passed
32606476cb4b44f1177a55a4fe63afb23e49c318 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqTail True Passed
45a22390d07db9c95756ee84725760cbfe3c960f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqTail False Passed
7e421634754d357eeb25fc8ae5ed9757650db2f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqTail True Passed
50815ce0b95a2dc06485e3c4f993a2b8ec97073b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqTail False Passed
fcdf7c5f50f6021d57fe8baa449dcd3069c0ac72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqTail True Passed
19d0740058ade733b7d3932e7b1ec66bcf019b5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqTail False Passed
7181e6ffc1fa4089e130e9e71d1d9dbfa3fb5ab8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqTail True Passed
f676a3fadea325b891fc8fa0a17ff86edcc0f174 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqTail False Passed
c4e55ab2fe97007fc8f4a4003b3373977f3fb143 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqTail True Passed
c169a67ab29917081ffca183e52df902c6f2d1d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqTail False Passed
fbe68b4704d1fa711eed28d39c5e90befd780125 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqTail True Passed
9920693cd5189e10c167455ee3f1c9843d4fcf5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqTail False Passed