Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
0ca458e311b44dceb984001b7ca10273e314e79a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq BoolSet True Passed
ad7713d1fc2e4e1717889a98bdf1a830d0dc2250 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq BoolSet False Passed
7083b662a2f36fad321d54e9063906c1c9807691 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Let True Passed
498945c69696f321697683195a181688354db05b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Let False Passed
46b37bafb44a9292efb2b80d7a113f22010478ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SetEmpty True Passed
a692cbb90b67214419c82053d98c7c11628976f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SetEmpty False Passed
b02b49361d053243aa297e2a4b65ff611187d4f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Set0 True Passed
0aacb7da88d9ef1e064daadfcc14dd92c2024580 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Set0 False Passed
c97c184a33caf7d0934c9408796375a032f082a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Set1 True Passed
2b8c220aa5621b735c0a3e870945430955c7c95a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Set1 False Passed
b940b91cad8eeabc3fd317dcf88f3c57d68d5dfa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Set2 True Passed
d55f23b80ff49009b28df967227b3a509f12def9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Set2 False Passed
4e0f62c04e3cf2ba452f7e33b1b4adb7568ea9a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Choose True Passed
7b7dd725a88982a7d02626c7198c3aabb27b6263 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Choose False Passed
9d6b84ed5c5ce33283511517f452538d4d5b9666 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq FunApp True Passed
87b0d5eb90246174a75526de1d1d451e299aa53a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq FunApp False Passed
470b399b2819415a18bdfbefc7be2b9c7bd4e457 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Prime True Passed
010a80ff5b3b1a635dfc64e03ad25611d8be347e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Prime False Passed
acad84c8c0813bc266043201d51b4477fe68e77a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Def0 True Passed
d172bf5fd5ddcfffe70375317919f810ce6b6174 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Def0 False Passed
5afcfa9a95899c62419302b3f90c84215ea37edc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq LetDef0 True Passed
dd7f3a2680eeaeab567b86443fa0e82aed87ea49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq LetDef0 False Passed
387e875a690e057fdbc2001baf4812b98c686ae2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Def1 True Passed
fed9dab448771a33c29e824cf922a111f927ea14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Def1 False Passed
843cc30ee7f465c2110e271f3f09570583c4e824 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq LetDef1 True Passed
13e864665d7a6fba5080f1dd0325dc9bb6b71ad7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq LetDef1 False Passed
dd915fac7a6996f6569de77da47761417d7c14c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Def2 True Passed
ef6554105f47b9fcd6133a8c95e1465afdf040b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Def2 False Passed
7d6ca89d52b21ef33474efb3d6b36b27134eefb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq LetDef2 True Passed
5c1ab94e5ba6786d4005284b13354e5723c9d4e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq LetDef2 False Passed
d5cf8783f932dbbf57794a9ce950455d00a983b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Def1Recursive True Passed
b6fd35471ab4170f34d3cea9b7c6960ecc9e845a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Def1Recursive False Passed
1f9506a9e0a34224fa69771511d6ce8ebf8fc85a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq LetDef1Recursive True Passed
c42c10a1bc15950f86ba0cf0762977f993904877 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq LetDef1Recursive False Passed
63abb674d96cbaba26854b4389657eb872cd509c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Extends True Passed
d7399e17e5b494a8114b8029ba0d345106cd9dac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Extends False Passed
2e6c3da94f45adea5cc37aa17b60b114ccf530a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq ExtendsInDifferentFolder True Passed
0b3d025fb06dcee0014f782fd3b05835155fabe3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq ExtendsInDifferentFolder False Passed
7a1eb4d40357aea2d37a022e6e79b66d3e3afdcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Variable True Passed
817df936e6448d6983415f1674d7684218d370be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Variable False Passed
96a3dcb9347f9bf0045acb95c3068644142657f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Constant True Passed
da59b42af093078aebebdd07c4a4b5fd380ce2c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Constant False Passed
64acb2b8707f76081651cdb57f66d81f08b646ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq ConstantRank1 True Passed
4345713043beb64c25c9e2e6c661930f5e315058 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq ConstantRank1 False Passed
a87650d66b02159825eb11c01b29ec0928d2276e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Instance True Passed
613a08d743f578aa4408058b831b9eae437a5a39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Instance False Passed
75ff600c3065acc9ceb4dc4ced2c2f741c31bb3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceWith True Passed
f624e7f2ca29fe13294435fc5d77001efca14f16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceWith False Passed
036129f1406c859f6bd80a20b96172b8c89afb3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceNamed True Passed
849ff9a4abba73ac2224fb7d80e4998a6ec9bd58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceNamed False Passed
5b30ef46e6e76d4bc8447a4f82c8579ecfdca9d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceNamedWith True Passed
22a899721bab0327495c5ec969eb2a4ba1c136d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceNamedWith False Passed
9f6d1902e8927c959b28352fe8a534e264bebbd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceInFolder True Passed
1a8482ccbee9dc9d9928b390273a2880a5145477 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceInFolder False Passed
71ffc951e268f113b86ae0f9549deb452f2b2c6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceWithInFolder True Passed
a09f09ed67be536ddb41ccc62b96fa54fc212ca4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceWithInFolder False Passed
9b7431912af93cdb50f65b3311cad276bd1f4f80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceNamedInFolder True Passed
7f696f0890d938b94af148f470ab59cf1f816a11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceNamedInFolder False Passed
ab56d1f882d6f155f84c44824f33c9b3670a4d4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceNamedWithInFolder True Passed
13f43b9cfc348f5a821e33a88cfc7716a767cc57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceNamedWithInFolder False Passed
b59a2d8fa556c879b2e149753b0767a05d60075b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Cross2 True Passed
741d457bfa1ea55370325a1affe6d9ac1659fe77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Cross2 False Passed
4c566d5e21aca21ab6c890028875b3a44f6db7d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Cross3 True Passed
c5c6d3d056b56f3c3a15398a26bb5d989c48c8a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Cross3 False Passed
74527bb2f92c76e7dde57fea64e2542e08f21452 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq FunSet True Passed
cf1082a57a1e4d06ac5a8814eaa00d861c7e2234 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq FunSet False Passed
a5805ebb8e894f8489fef1f0e3f15156fd63ee0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq RecordSet True Passed
f358f59fd1d0233743b55fd037b758fb6fef36f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq RecordSet False Passed
d9c9b05f038e7821a02e21b088828be9654636b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SetDiff True Passed
7989fd832a0b8bcbf939a9da6c490e5036764ad3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SetDiff False Passed
e7adb710ed5e2652134d6be83bd53c9a3accf2f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SetUnion True Passed
370c14e3f89cf4b9812115d3eaeac68f829282a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SetUnion False Passed
05ce6691bb8056818b7d2fe3f783878077f2a56f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SetIntersect True Passed
022ee4043b9f946dd53bb9bffb9a3cf8700d108f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SetIntersect False Passed
f8ba3f63f8a8d6a456dd2c7d5b3ca172555fcd2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq IfCond True Passed
5781db6e4c32c237bd8f95572fc413defbd50da4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq IfCond False Passed
9d98c63d6521abb0f86fc8fc9d9da139e4ba4378 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq IfThen True Passed
2dc22799066e5eef153fe4231fb3d26ccd09c9cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq IfThen False Passed
9e6ddf0550f9aa6c484a1f55f8f108e04e223ade TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq IfElse True Passed
6ce07c01859d9b9ae43d3791cc4d292e13953cc9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq IfElse False Passed
d3658a5d46bbef09c8353cecabc5ea562282d5be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Subset True Passed
7e649814f29f81b976585d6d001fe8e99c4ea70c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Subset False Passed
1c0ac182ebaf42ac891f211c97fa7e271f23c9d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Domain True Passed
a831d3603c90a1b3268d4764182732b8ba854c96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Domain False Passed
ad30918642383fed309c9f95fd92bdcb4e6a1c1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Union True Passed
e07a543b3396897c22e2fc1f97ff57a4a7fe5f96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Union False Passed
799b641154fd7461f03727faf482a15b8c121b17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SeqSeq True Passed
d4df8f63c9086cbcaebbe0fa162cd51ec3291a09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SeqSeq False Passed
28b03718a54da4864fbc863b8519dcab33ef6758 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq NatSet True Passed
9a573422921c313e5667e3b805dc2fbc8f346a05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq NatSet False Passed
0b33a385ec965ed2c51f8871631a32fe5532916d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq IntSet True Passed
9b03ae32f7530edbb475852eb1cff5099b125d27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq IntSet False Passed
93262cf620c7a8448bb62e072dae0474e468952f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq StringSet True Passed
64850afd309d4102ddc127f60145c7cf832fc970 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq StringSet False Passed
844e0871a080e610ab305b41192b82dafe1689cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq NumRange True Passed
8705512a0f67b8e1e75f09a6c2ea9349e535dc08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq NumRange False Passed
5ab909a32eebc6010b5619c6a628535a01899668 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq TlcPermuteFun True Passed
92330b9c20e2e41d60ccfbdc2966ec4f48c32a94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq TlcPermuteFun False Passed
5bc1d5567f34b0879294a0033256b5b0f8a7060b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq TlcEval True Passed
be9abde8a2b2e989757bf8e0f4dc099e2e064ae3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq TlcEval False Passed
8776182839c06c542b23abb3396652e436815d4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq BagBagToSet True Passed
5b1ea587d5f649e4ecfa0414c06d5c7ca35d5fb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq BagBagToSet False Passed
74a2e9a386203de8d59498442bd7e0fad2b28e7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq BagSubBag True Passed
cff88a635f3895dac8ccd71781a5340449415d8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq BagSubBag False Passed
59ebd385566467241c357b1eadf5ed4de11423ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SeqHead True Passed
3f1aff974d5269de38ddcc720ca4408b231e998f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SeqHead False Passed