Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
379b2dd63789de6ab924611914f8efc4d605472f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Let True Passed
9454c77dc44866807c2ad9170ba3db156079fb11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Let False Passed
e0dd9ab0dcd4a54610def2d93b28c55405261d65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Choose True Passed
e0405d7876b6cbed92fe9e481c8b54e1d1533565 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Choose False Passed
8efc2f557f7720f1a538b51eaca311bd93226010 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Tuple True Passed
f6612ef7275affa382e9d8782429e7f80687b943 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Tuple False Passed
04727c1a478fbe2a8dd5b7145f423c8f9a99fcbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen TupleEmpty True Passed
0f649b59e72b2177057d2d2657458280ebc657eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen TupleEmpty False Passed
7556ef74a3bd93655b6b893143ca7ff7809b3ba5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen FunApp True Passed
b9783bd74ee596eca8598ee63827bc9170097114 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen FunApp False Passed
bcf2cfb36492cd667173cdef2eb77076b9e037bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Prime True Passed
8255b41de4180279e1fdb67d5223e06d508b0792 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Prime False Passed
b4e8813ccba096cdc5e5f65ea98f4f5953303e05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Def0 True Passed
f5ca05d0a0a841a930ddfda1fe3c78ed2c41257c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Def0 False Passed
e66587cdf2d7b768b9da38c1387ee6619e1f50c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen LetDef0 True Passed
57da547fccbe0adbe5cecfe389da4c728402d530 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen LetDef0 False Passed
b884f9ecae96b0818fcd814e24855889c2a005eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Def1 True Passed
108158bbb8430b15ae228f42d1f4582f0209cded TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Def1 False Passed
3942a922d4b948e3e443ef5d2743f9106cf44ab5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen LetDef1 True Passed
cf84f60b265d2101ab2fa45c1f10322dc29295fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen LetDef1 False Passed
6dd72c84c96c149f9470e0bc35151845adeff419 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Def2 True Passed
5687f70311fb0e8dd7dc3dd9d1539ecb0af527d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Def2 False Passed
c7e009e5e7df1d97ce38b5bf8097f3e044eedfdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen LetDef2 True Passed
2db5afe7d5d3809aa7d4280b0dfd6483621adce9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen LetDef2 False Passed
3291bcc6dfc581ef5c635d8ce138ca466ae60da7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Def1Recursive True Passed
84a13d3cce8ff194acf47b337bd8010fef4997c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Def1Recursive False Passed
c4873503ca48169ca5a5cca856ec5d5c197e07c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen LetDef1Recursive True Passed
5c841406b8325d6dfb87d8e54fda67168134d011 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen LetDef1Recursive False Passed
36ac3763a35a6597f7569608c23d3fc0260af10f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Extends True Passed
a54ed816ae0dea48d85545a6a7cb413a863c55f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Extends False Passed
86c0be3c6d53386850f49f3865bd31c8c4121300 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen ExtendsInDifferentFolder True Passed
9747b199485a36f3a794f19e8557730961407102 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen ExtendsInDifferentFolder False Passed
aa1ff4ec70d617400cdf07ba3c1644fe1b047439 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Variable True Passed
5eec4ce0d229048edfe3f356ceccf354fb4245d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Variable False Passed
38a7236fff894733c97d8f43821b3244fb4cce1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Constant True Passed
2230ee4728b62640e33ec591f8c8985ff04b3315 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Constant False Passed
a6993307b4b2ef4826420d49c33570ec895bab85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen ConstantRank1 True Passed
0ef65f13640500a54f1d31d3d2ac47d963719d56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen ConstantRank1 False Passed
ff325eefcf11e923167c3e60b5f4cb18ed88adf6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Instance True Passed
24f84771ebb9dab3a4e84ba822b3047ecb29e6b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Instance False Passed
61c3a9fc38da92603696cedfa696c4a652867d5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceWith True Passed
72ec6018493b06fc86a134b88004d8d128cb7518 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceWith False Passed
27dd6df397f3ae3fa4e295d1729176775e466036 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceNamed True Passed
222a829be9b4cf29870e66a4e6738693f0c5cad7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceNamed False Passed
b92fdc461f038f6dcce58d562b6e9ee7b26d3106 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceNamedWith True Passed
e320d7eb179e1931c5dc247d9ca6a5bd5d27c0ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceNamedWith False Passed
7094b237a4a0104dda80d5d9a3aed45fbc4783fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceInFolder True Passed
1e71c030a5082563ba25ef13f5b14102d13e1f8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceInFolder False Passed
d284c851e126a212088229505f1b8b70809e86d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceWithInFolder True Passed
50c646a0d7e26413c62ee294cfe017cc919257f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceWithInFolder False Passed
e371626a949144f57c1435d3c4235ae00a2e9aab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceNamedInFolder True Passed
7978da2acf1e89e6e5077973065e90a69fec12ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceNamedInFolder False Passed
bba83344c6a1e54c7f8ea62af86d996a63c2e116 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceNamedWithInFolder True Passed
f0390df8d24f2fa448f08d9da0ac87cd72756915 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceNamedWithInFolder False Passed
8720d29ef60a5dc5e33521404fdde01ae9f4ddf5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen IfCond True Passed
57a0915f47580d0f347a96868073955eb1938e82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen IfCond False Passed
8f1546728d8fab58ddd7ee16db00decbaddebbaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen IfThen True Passed
d590777bc4ffb2833cc77a2bc517e620e6869550 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen IfThen False Passed
3da0550c2ac926073d313979f4d61d2fdd855093 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen IfElse True Passed
6535614378c6184af890436a423db88fadc412c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen IfElse False Passed
febb16d2b5188048562b6ca56c87f03d6f3a25d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen StringEmpty True Passed
a6d0677936a209837126430ce0d01a2c3a2e7a98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen StringEmpty False Passed
89318b8aa0a519ba96f58f87157d60eabbf0bf5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen String True Passed
05f6c00563cc3508dbbc03138a4969abf3adf544 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen String False Passed
bbe62542dee528415c53f05aeab6d1ff03291f7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen SeqConcat True Passed
a9ecbfa86e7174825422f9436747f2d8951e4f89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen SeqConcat False Passed
592e93291b1539f9d3691ca5620a5ab69672c21a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen SeqSelectSeq True Passed
b013b377acca54545d7a9015de25052ac226e169 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen SeqSelectSeq 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
4fc9e604468feacbcbfe472877dca4e69894ee6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen TlcSortSeq True Passed
a910bb115ed72fe1cadde41e3d429cf3489abf98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen TlcSortSeq False Passed
1d89c7ea821c4de307028924d353c8904d1edf9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen TlcEval True Passed
cd8628c1ea87e7ff4893dd83bc0785df263887e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen TlcEval False Passed
9c4219746dfd17422c9752ce47ef598a4a04222b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen SeqHead True Passed
35d2bdd0cfdc9bf33ee7c8410a175decf33057b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen SeqHead 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
c42fbadd5c47142094f11db2f6717e8f9f296d98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen SeqAppend True Passed
3ed515f37d66211e0637d0c4e5b13a25a91dce4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen SeqAppend False Passed