Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
8485beed045fbc473795da1d57bf36277a63b80f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqTail True Passed
a0932f55fad82ae59d8be31360200b0f03cf69f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqTail False Passed
af950202024d8178cf5f6008c0bcdca95f80adba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqTail True Passed
1431f602a226e6b29e8e0b0bed60729f56cd85de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne SeqTail False Passed
0e98ae2f243097e236874b673f5f111ae21cd0bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqTail True Passed
b03b4f9735db7c3740f769087396d10868affda9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let SeqTail False Passed
8a5afdae508bca78b975db606db24f479bef6df1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 SeqTail True Passed
9834ec04d6cc7b228d19aa99fdb98e36925b203d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 SeqTail False Passed
34cf8b7055e952e15406605dafb9c45294ceb40d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqTail True Passed
f42aee46443b92fea708ad31ed2f1645ba4aa762 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 SeqTail False Passed
097bbcf5c7d28225535591e7eb78e93648c57ee0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqTail True Passed
e27494397f377ef779ec6ce9025dc613d716f35a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 SeqTail False Passed
7bb41438ee3c10436550826530c7eb3ad71531f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqTail True Passed
1d796fd79b3c78d5ade62885382bd690f9b5c3b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun SeqTail False Passed
57aab2c03325a7515f883aba114cabae27d78e06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqTail True Passed
9b090ed62f59a62067cfff6af9d1757edf4216d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqTail False Passed
605b789d75636ce47f2918b57858dee5cd3a7b79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqTail True Passed
5968deeed2e1227d98fed5821f5703bb4af47776 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqTail False Passed
fcefb6652ba9bc628d61a79b0fad95559efee19f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqTail True Passed
31a67ffc4855c537a5c1627b64a6a4db10ebddd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqTail False Passed
24efec16e148f1750585a46cfaa285db6088ee30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple SeqTail True Passed
6e5b46d40e1f06edcaf4c4635b254b11dba371a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple SeqTail False Passed
a97a5ca969b88718e8b6027bae3ffd92926ecc90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqTail True Passed
7e1242fb8155b1ee065955b3dc12dcd3b54bbf5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp SeqTail False Passed
8df3eda5984a77af772c1f62ff6631143fb608fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 SeqTail True Passed
bdfe99d10ceb702119863cf8e2e7017c8eb2e354 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 SeqTail False Passed
edc915c17c400a2ad8fe819aba795abf1a3500c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqTail True Passed
01b3507af219dd0b351ca148a37fd68c4d69dc26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun SeqTail False Passed
1aa4bb0fc99efe2f63a0267bdc57b851789aee9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt SeqTail True Passed
d6d57fd00c0dca49d8201386fd18d480f1af306c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt SeqTail False Passed
c3db1457680e4b611ea61e7caf18b9a079c6d491 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqTail True Passed
d1357e47b4290d5ba6c42396ddf931d8b1d9f783 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqTail False Passed
f302f75ec68dc86f83998e4fd2b02e6c0224d671 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt SeqTail True Passed
d716bf4c54227ffd5d3141195d144c37e34d2de8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt SeqTail False Passed
08efdaeb6208da9e518f67f94760fedd0d4b55ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun SeqTail True Passed
6cf71e7a145f8bd3d405d55775d5859fb5a0e9b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun SeqTail False Passed
05a7f429daa27daa494e893d38df7c54f08bdaaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqTail True Passed
a71a3955112b8fefabfe824c5c75440da660adde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqTail False Passed
80ebc00a438ac206209576e669b628bc46e75353 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqTail True Passed
8e84d0a995a9027ae8da428f496fa6469dc83f00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqTail False Passed
016a4e87368691d94835ccba8233ac6979242943 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqTail True Passed
997294b03f7af0a32b84977164fb477cc229acf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun SeqTail False Passed
09e9b6e8ed8bf5e01c3aa63308a7dc5200315a98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqTail True Passed
002d009cb32a6ce225b93d2fd1fcff5be3aab716 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive SeqTail False Passed
643b949e4f6bdd8238bdfe3f0ddf0b46cc7177f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive SeqTail True Passed
05e9e03edc2c7b396a6f19d4bf9a09ed65934764 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive SeqTail False Passed
3798d0887d315533e0f4e83c0e8eb0c64a89c5a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqTail True Passed
a2f5cae329daacba361a422901d291717a2783b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 SeqTail False Passed
6672341ca248d7d73c857a5f73f7e07ed5688d5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 SeqTail True Passed
66124c37b697fa4b415ff98f41a54cdfe844c941 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 SeqTail False Passed
a26f968e8654360837bbbac84276348c368b700b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqTail True Passed
1293fdebacdc09a418b9df3d4e75fd8398a38823 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqTail False Passed
7553541845e1b39e0e0d152bbb03ab9044eca529 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 SeqTail True Passed
1070e1e8e39e80ec9e641151126df4cb20aaa5c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 SeqTail False Passed
dbe83c696332e8a7061d6feb101e94a8b819d95c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqTail True Passed
332e638b406370e3c6b8c7ef4925d3ae3b3b03c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 SeqTail False Passed
ada48854d8f953a4c6339685d40fdbcec6011b25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 SeqTail True Passed
0f537e7ce490f4441e1d66d702700f4ad80eaff6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 SeqTail False Passed
214073a2ccdb4635a616062cd835fe0e616c263f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqTail True Passed
0f028f64a1564f07f99657ec0dfa01363e395d81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive SeqTail False Passed
12d6f9b7ccdca83cb6f14f5b30d6655197689a90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive SeqTail True Passed
135582664be7a83fe2d356106e0d4794a10f7bc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive SeqTail False Passed
4d230ed490cf70c3c23f6d69c577e9c87590434a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends SeqTail True Passed
a8f29336c7904f465080a1d484ec8ebb6bf92566 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends SeqTail False Passed
8fc32b3ea1431c1bbbb8d3b4a6be3d605f35e409 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqTail True Passed
483deffc7ed9760a947c7ac9597c0e3ee064c46c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqTail False Passed
00a199ff19d32db8b6511ae4b9b4df3dd5070022 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqTail True Passed
d770b5dbcadf724c5b3d6050f75959e7f9d418c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqTail False Passed
b9070ec54655920a16d2076900767ac785de5658 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqTail True Passed
a28db3667a9f7fa74abefc39098dda47bd2ca5a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude SeqTail False Passed
7ca338928730c02241ea505480ceb270091f0f0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant SeqTail True Passed
9598eb4b99072b82a764ccd16cbbdc6500ed96c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant SeqTail False Passed
ef1fe54663e51fc1df651f946fa5de1dbcd773f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqTail True Passed
a75aeb1caa4b07945598169c1530380b389c9c32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 SeqTail False Passed
5a626e67ca68116befb7bbf6f21a5c188b54cd2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqTail True Passed
1521da442da703bbe2d54be3437ba14f4f5f2c2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqTail False Passed
26f2b2bb0b0bfbe41b66848361f60350669e1915 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqTail True Passed
d290c620e0ebb3213c4d285466c7fc1f1f600b99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith SeqTail False Passed
e4253a04cd05499f5d373de1fa512af9fe21a0b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqTail True Passed
3cee8345b90c1f2aef2d7227306556d22a94b83c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed SeqTail False Passed
02e3dd93ae28ce10575093b9218942a1781ddf25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqTail True Passed
61dbc6710910b828af786366e68625a4f2bee377 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith SeqTail False Passed
b8f3a811d72407b3b323db9c0ec57648d43efc44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqTail True Passed
33984bc8209e9a5761200e231614b87d14d045cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder SeqTail False Passed
bd395de57ad78056207197a5b7d88c521c464121 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqTail True Passed
d93e9841e1c2cc521f08e18670368fdef9fc4f98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder SeqTail False Passed
783aa7c2ab0a404f73d82e4ca3adc02b565cfde5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqTail True Passed
1a9bcc86530ca2f77cc4d50bd1fc7a5bd38c430a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder SeqTail False Passed
873ee429f372d8a452a7c87ff248b46bd73316ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqTail True Passed
f11c28bf20955fa31e48565e8ace76c76655c67a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder SeqTail False Passed
02799c41f366fe033dfae291ac95aad11b96f48d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqTail True Passed
f6d5fbb5298c164690f838425ea0cd373487a53c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda SeqTail False Passed
3a8915f7326ab5a045c6b4c8b4d8c23131498f38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqTail True Passed
5a2674d05bc3a409d7cad0c15bbdcbbea7436f1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen SeqTail False Passed
03869a9637f8f2351bbd638e7ae56587acaf511e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqTail True Passed
d42f2c73fec8fdf6a52f29cb1342f8a357a05648 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqTail False Passed
eb0952b67f73dfe4377efa0876b1ab57c3d2a1ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged SeqTail True Passed
f0df9347a62836c0bc26be66ba62ba637778be89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged SeqTail False Passed
2cf705c24afa4f747412ecfadc6ac13da9455e82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen SeqTail True Passed
8307d161a86b71b5b0c9c27ab0c001bc9dfd8d57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen SeqTail False Passed
3b3eaa5ecda9be2740644a62e9ea44aae7385737 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat SeqTail True Passed
a3b4733afd21156b129539784a6572639186ad91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat SeqTail False Passed
39187b03f701336a3da94034c12f5fc941b350a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq SeqTail True Passed
8805413351772f98e5c056fd13c4d9baab0f0d48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq SeqTail False Passed
ae8ade5728a7fb11b1cfd11b9b9422ff54dc7105 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqTail True Passed
b2479985d659dcec17ed88d045f4bcdef8a12b76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqTail False Passed
fa68e382daac6c47e70b18297653d3d2b2bea70f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqTail True Passed
34b8c1b8a2801ca1cf10a61ef4cef05d23327fc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqTail False Passed
3cf1ad30256d3789c523b6fa091a21cbcdc7c8b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq SeqTail True Passed
7fbb60af4337ecd9c4a3b1281947add25f74de94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq SeqTail False Passed
363d7dc9df327a0e9737bfa0de4b62930137933e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqTail True Passed
7c1c49717725db0dfa923c5ed8b9c3d5818abdea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval SeqTail False Passed
1b0c78fa1b7b9bd8aa4ef63d3788a86a8d46f40c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqTail True Passed
4c828f6b90827399aecf9fd6432dbbc812841ca2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn SeqTail False Passed
04b3130dc8245cfc8777283f9caefc5176a5e295 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqTail True Passed
a3057b758c5a398db7e1de34f2649ae4e617a62e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqTail False Passed
5f81d3ec9fe054f45a42f509d52f47598b93f309 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead SeqTail True Passed
27717902bdea2d2b57b119c802f368837c1a2b49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead SeqTail False Passed
e25e7a1dc5dda0cd8d8cb50eb0134725e531995a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail SeqTail True Passed
f4f45dd218ed35fdf374b90e1e52757de400ff9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail SeqTail False Passed
301dcdffb6a4097ef8b2d781f1ad1cd446170b52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqTail True Passed
00a11ac0367356f1f8276dc669f380053442a8f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend SeqTail False Passed