Index

Tests by case feature SeqSelectSeq; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
4646126aa11f78a5c762b932c9eda0da22431f7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Let True Passed
027a5bc7a98ca9169180f841c2f494ea8c7e9d64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Let False Passed
9e15eeea82c2b74ab047cf4b09f3778d8be504b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Choose True Passed
97250a6fd9b7df907b5e5014c5c0d8c3a8ec5b1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Choose False Passed
b5b67315a3b16fa2675ce3f13909f4e2e0b84d95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Tuple True Passed
78ef6ca5b062bb3dac648163f836078e1d58c193 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Tuple False Passed
6042f1739b14ea1bad4bf89007d02554b82e999b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq TupleEmpty True Passed
b2b0a0a90666a7bd3d26b68eeeffa14dc9945aab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq TupleEmpty False Passed
03502c5adea33248eda579a436752862bde2262a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq FunApp True Passed
7a2824e83f722146d008d6d90e7b1c20902e1f6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq FunApp False Passed
8821564c4913ba8ec1cb530fbc02d2cfbf44e603 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Prime True Passed
2721892deb6ed98796538bfac321b5591352cece TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Prime False Passed
2dce2bb424fda39e6012c3921ac9bd1f7232655f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Def0 True Passed
82408d7cb9627ebf53492f5c021df4d7fab3a2a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Def0 False Passed
2d259ec9ca81a629603b64038dd01653c4852f61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq LetDef0 True Passed
9c7642b76ba5ba30208564abb475eb01258f67f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq LetDef0 False Passed
1693c9166406416ac95cfac5712c79215561af12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Def1 True Passed
cf96ca1960643e23eca708f014f66e7db637fd0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Def1 False Passed
76ca1fc6e1fc2e4493bef17dbc94849efcad145d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq LetDef1 True Passed
71235d8112cf3bd20f80d3c8bbe7c3027f03346b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq LetDef1 False Passed
f4b007776498946df609a28cb3879de7867adebe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Def2 True Passed
5b6c401949f23b4787b54a96525207fc0794dbc4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Def2 False Passed
d13dfc5c1c8030d0ea5623d750d9a097c39ce21b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq LetDef2 True Passed
9394a5ff4d84b41eb1efb55ea43d19d031999ccf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq LetDef2 False Passed
4a38d7ff36f38384be611d1908f62327d75ca7e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Def1Recursive True Passed
751855d06047418b4b5a7237e7f9db0ee8ff66e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Def1Recursive False Passed
075b8ed7f29a67e381e23b92dc541042ca4a7b23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq LetDef1Recursive True Passed
3a1a452738331081067f6f6fcaf76a37671c54e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq LetDef1Recursive False Passed
0412428e7df1d815d15737f1e7a96a4bdb8a976c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Extends True Passed
e03af7e0d149c20f8f1ab8f20e2d5ddff9283a07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Extends False Passed
3fdff58ba5a3be440194d31ef4635c06454c196a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq ExtendsInDifferentFolder True Passed
3057a4f3135d146238b07111fc2ebdc165e5c29c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq ExtendsInDifferentFolder False Passed
69812dc2d388c0e4a9fb9ab808c56cf66a29559c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Variable True Passed
59cd336b9fd87065915432ef8ca3e5a6362f30bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Variable False Passed
4fe5d30e03ec7fcb1c8d303d169de068d30fa922 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Constant True Passed
a86d865460d563d33e3ec793905cda92698925c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Constant False Passed
c7c1221ffef62892e750c78aa19859bc575ae73f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq ConstantRank1 True Passed
531c89d26e2da80137311c2337e0426b3a54dd87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq ConstantRank1 False Passed
64a065eebfd6fb81ba653d657f282c8cdcbd282f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Instance True Passed
d46c37bf10b7a115884f94fb84bcf0fcdae91982 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Instance False Passed
68bdaedf05fcdb2d120683d733efb40213e0227e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceWith True Passed
ef6ccd4e781ac5dffbbbd7be2107cb62dd134926 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceWith False Passed
caebd84260dfc45c552095d7ad8ac498af7d549f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceNamed True Passed
cf33eadf98c5d52185cd404fcfcec00207c24474 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceNamed False Passed
0bcf27ef3a63175223e5ff3d85779787983e17d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceNamedWith True Passed
e8e91d68eec3e7ab0517dafd1ee57dde7a6719b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceNamedWith False Passed
f06192a94605072cfcd5fbf534f96c106e3dfac1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceInFolder True Passed
40a284a8be3e85cbbb554b93d2a862256c625ecb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceInFolder False Passed
ef7de71f97d24439ff32d38ccc7d339cfb1ed764 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceWithInFolder True Passed
97a28f9579df6e6f2473fe0ba2a3346fc292829f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceWithInFolder False Passed
0e411f21faff7985eb7ba0d94e3bd0d27db8817c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceNamedInFolder True Passed
be0476fadb54f42b0b053ae8ede96def35f4d4bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceNamedInFolder False Passed
b6f1dbd6b93ac34b7b459c9f4fb51d3957604d17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceNamedWithInFolder True Passed
e33a8454e7dead67d0a4c6da2193b188e979010c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceNamedWithInFolder False Passed
bcf1877d3c040e206506094595f1c3f50b99e2d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Lambda True Passed
6b2df20a007bd6fbf028e2a113c1ca3d97bbbc4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Lambda False Passed
9fee407504cdb857d7e2fc8833f4cf8e1a4620b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq IfCond True Passed
e5e620eabf85358683a9b698b8bc4446999b8735 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq IfCond False Passed
27060674c21ed6ea70ac1919964afd9588f8a170 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq IfThen True Passed
641dcd5b1254f9ad2d380ea4c0d2e47147b980cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq IfThen False Passed
d9e2cc15620d17975b566058bd44d720534981a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq IfElse True Passed
118128d350a262cc713dd5eeb72a122cda8363b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq IfElse 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
b394b1a01d88500ce7be7cb612c9ea436689e927 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq SeqSelectSeq True Passed
d1288259c5149f335378e8b881a5950e8fac6835 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq SeqSelectSeq 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
a5c72cb8d6f3818e06bc20669f2e612eb8e69789 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq TlcSortSeq True Passed
1232adc455ea48a534be65e15b8e6cb83d0ca61d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq TlcSortSeq False Passed
f8fd6aa2b47cee48a3decfcaaffc539aeb898454 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq TlcEval True Passed
3d87e0753fec617ddaa73df11b1abdfad721bd61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq TlcEval False Passed
9c153a8a6be762dea3de28fa89da2d7d7a208d22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq SeqHead True Passed
8721add3e411b8f7c480b3c725771b05dada999a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq SeqHead 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
fc50984f88dd31ceab83e2f906b8c45b4ebf6642 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq SeqAppend True Passed
8d6a4361cb0b5388e5dd6428c8d5c183d9891874 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq SeqAppend False Passed