Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
518998939ac67ee9bd4053f7e4a3b30f7ea19003 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail OneLineComment True Passed
83e3ac2a238f6785cb5f8273733742e5067061ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail OneLineComment False Passed
ef6f637854267fe7c1a18f15ff6a0a64ec69be4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail MultiLineComment True Passed
c616990d88bb78611b14ba9001cc9fa61c5b9591 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail MultiLineComment False Passed
e44f5e3d8b95d4151dab35513c9d8cd75ccb6211 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Let True Passed
265bd11f68183dde84d3eed9ed2acfb99cb10b3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Let False Passed
7889f6142d28b15664437c1505bbfbc161626c7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Choose True Passed
e8126dadf85c392d61584d8e8d9bc747bd08cc3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Choose False Passed
5f5f1ca5b7acc5807d7dc34de5d8a9f6259b009d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Tuple True Passed
915f48c98d20833104a0b74e5bc59f675833b585 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Tuple False Passed
3f6ffdc48fdcba90fd4d52400f4f1299bc01f7e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail TupleEmpty True Passed
20b5870610fcfe75c8e686786dcc2e475ae70005 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail TupleEmpty False Passed
af2fa1028660420738022fdca7c8fd81e5a53c47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail FunApp True Passed
322ce9ee529a8238b22a34dd8f8ce71d3a295ba5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail FunApp False Passed
1e13716f665ae82c30e7341d0862b62dfe20413d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Prime True Passed
50babd0938e2a05156aa9ab64f918b09e1ed705b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Prime False Passed
c89467413c29a73f987b5182171432901a070607 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Def0 True Passed
6b13b3db787fd7695e06c642b342043cb9d74c4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Def0 False Passed
cb15e675315219a554ae969ebe2d5a66d766a0bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail LetDef0 True Passed
1373283344a5ab849d8dc3c2a4f303dbf6230eb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail LetDef0 False Passed
395bead67dba3869ae90c0e3b7e6af4ea7354410 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Def1 True Passed
b59f8e68cbd0ccfe1dfe1b17a47824d62b8081a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Def1 False Passed
4d1a749ef854d6798250ea04ee4ec9598aeb981d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail LetDef1 True Passed
a5ef98aa9c77302667cd74f4e6a601ab9bfefa15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail LetDef1 False Passed
16f278b1390d779baf75fc3faa3cd0b89b9df422 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Def2 True Passed
907bfcbd594c97395b3fedf038caabbd1da59b1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Def2 False Passed
0913221a0ca13df2458ce47c368cb1bac6bb2ce3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail LetDef2 True Passed
94a3941b7eb918aba9800a20dd0759bfbaed597f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail LetDef2 False Passed
826466d7b4c1e9dd33230ee774f2f6115b0c17ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Def1Recursive True Passed
89a4b1d8eaf1795aaa13fadfd0f00b6b9d48a8b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Def1Recursive False Passed
b96506f8081be882556260cf7848fda8863273e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail LetDef1Recursive True Passed
9f6e2685763bd16b3fd4da8248944d613b3bf639 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail LetDef1Recursive False Passed
ce9a5f1b0a2cd54499cb980a5e9addd033b84a31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Extends True Passed
4688dd959d113e56265011007ce4f677d413b431 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Extends False Passed
01abeaafc35369b7f1146532c0a6f64e9a79643f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail ExtendsInDifferentFolder True Passed
684bc21471195c0eb518ec2f93f333f4d5b09d00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail ExtendsInDifferentFolder False Passed
efde4011e2fe45a8130d28153c1e53bf97484274 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Variable True Passed
d667485ea47e54952006fe1b69c5adaa390ffcf8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Variable False Passed
7f19625f54943c2dda439ea0ca7a5419cd6958fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Constant True Passed
bccd61df71003f25dfca02298e197a090c1a2858 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Constant False Passed
ac5b2645f3cf12e1d13a4fc148e9d7a7ebbb074e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail ConstantRank1 True Passed
f5311341592794c0c667c13bcee336bc2c68a439 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail ConstantRank1 False Passed
ac94d93e5939208b62aaa21e1ca07a139f85f418 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Instance True Passed
9cb0ca61b85db072ebeca4b314a2d0ea30d5e21a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Instance False Passed
9a2ef94391598cee4089c002bd8dc9a594415f7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceWith True Passed
34074571437958752239930abe43dcd6c06433b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceWith False Passed
1ef9cb82fdf491726215fff0699b76806820b819 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceNamed True Passed
1f2a89b112de81d4ac6c3f8741c0a818dc05e8d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceNamed False Passed
ef1d8d1780d4618f09d4e177607d357f67665592 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceNamedWith True Passed
fb67429fc92eed12894849bb6ac95798d115532b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceNamedWith False Passed
ff91afab8f7fb9901c522b8e34d375dde7ee0882 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceInFolder True Passed
c36acec4dfbf60ea830dcf827ba20a497540e74e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceInFolder False Passed
6e010f98e7f21ff3ad96f114bd1655150b7ae4bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceWithInFolder True Passed
8d10b8ea6d3cc422d6fd873a3ac971ec159cee77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceWithInFolder False Passed
d0507553a3396275cdc491f05809996e7143c1be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceNamedInFolder True Passed
e49e505bebc8fd204da392e7f9602b963df5762c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceNamedInFolder False Passed
c9b900ac07a401575281668f2a062de01812e7f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceNamedWithInFolder True Passed
c0309d05126ba607e2a5b37ba11f34a58226f428 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceNamedWithInFolder False Passed
82139c8e28c04191e780dabb1c55cbeca3c888d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail IfCond True Passed
52ac3381cd59ef97c901067cfe94e8203055175b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail IfCond False Passed
46fd0b20095fb98edeb0ad0ad35f50c3a9f420b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail IfThen True Passed
5213a721bc4826a29f7ed0156a2fb794bcabe940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail IfThen False Passed
d0f00a82f94eac0844889602b151ab364cef42fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail IfElse True Passed
5712c1faf2072b80df37a5088a99497c4a5c1e7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail IfElse False Passed
46ab7c58b2ba9dea580221451956878c2690112a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail SeqConcat True Passed
61a97a181b8b596afe4332031788d9c1517cefc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail SeqConcat False Passed
c67bd9bb2585261f310391492fc2a3fe5223165c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail SeqSelectSeq True Passed
37ff8039e3da733c6dfbe71e3ff56a4b853beb8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail SeqSelectSeq False Passed
5d81cfd5d1c444a8b24dc62bf3a9c7a520ab1450 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail SeqSubSeq True Passed
a1fcad665496651a52434881ffde5cd8646da8f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail SeqSubSeq False Passed
41764d24f6cefaee8c34277f5bbae6b3310d0d04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail TlcSortSeq True Passed
2774674ee72c37093c8beae2db66b855954bed54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail TlcSortSeq False Passed
c1cf30d82786a66063bb994880302e1c9f6b9738 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail TlcEval True Passed
cd864b2bc3773b3225abd09f440c508ac8f4c5b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail TlcEval False Passed
302263a9d6208fca902da319662ee869119a5862 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail SeqHead True Passed
46f80e961d59727293c1e837ae5dfcde56cac817 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail SeqHead 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
969bbb481e3fce531987594f5a53f59307938c26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail SeqAppend True Passed
6046b775bf7f854b7f21d7b8dd95410b1865305a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail SeqAppend False Passed