Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
8ad787e92dcc25caccbde744f4a740d7ee523cda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod OneLineComment True Passed
eec3b72b543724f1e7ac5fcda2cda80fa8df020d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod OneLineComment False Passed
d752a1e5274a42359e39c336af240b413f5cfbee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod MultiLineComment True Passed
8e327b674d27028f7ac656b222f493beec4633ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod MultiLineComment False Passed
782bc93b5638e5d45ffd78daa0ff86a0c75b9863 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Let True Passed
2b43da930def8ee1159bae755c9da8fdf2635a80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Let False Passed
f64217cc8c1441acb72505b8ced9b06bf7341c2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Choose True Passed
99b73f2b44ec1b1b69c956e933b6dca497e88fe0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Choose False Passed
79c0017e6a6b5eca4b24d48e0bfc8a2a34ff070a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod FunApp True Passed
1759a2356a22a709bbd2759b3a18e09e6b3974d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod FunApp False Passed
646463dc96080b1e132fe861bd5c07c2efebb566 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Prime True Passed
5e19de2243a0789aadce124a63720daeee67e40b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Prime False Passed
eb94fbbc509196ebaf0be934d3c88a954b15d485 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumZero True Passed
f7442541229e74a5705d3612013656551152b756 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumZero False Passed
f01e3295bea68a8fde3141a53065aeca4f2aa979 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumOne True Passed
ae822b2e84351bcc540ea25dba97fd224ff286e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumOne False Passed
c92e31004ecaa063998f3a33cb3429e6399a33f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumMaxInt True Passed
f2d3eaf49823148f785bc52a38ffd6a45d825460 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumMaxInt False Passed
f18d4ca5e48728948d670f6400a9d08d783bad23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumUnaryMinus True Passed
46d387726e5f750101a2fb5ef0449172ba5076b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumUnaryMinus False Passed
647ae0415f307bf5374381875020dec6f2c66182 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumPlus True Passed
24ce18e00ccaefab3f6a2957710db6fc7e761acf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumPlus False Passed
5b6dd918ee65d759e44e7c3ac26f9e0d31bc9c01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumMinus True Passed
0039c6fd804c336f713ca41ee6fb059283a9dada TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumMinus False Passed
70b55bdfa3940482b40f243dda3e7b3262ef0a58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumMul True Passed
f9e341698a5e3849cc92f61a86ff1927023481e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumMul False Passed
06ea4344ca4a5b6c895b39e2b78a9d903e4fda05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumDiv True Passed
248fbed2ef8a4619bf7a225a1b5b4ddf7b1f4e7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumDiv False Passed
1d330dfa539d639953cba8f54059cc4a83fc942e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumMod True Passed
118355fb6f07c4d95684b76e66e78016f7c2eee2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumMod False Passed
281ad30c9fed6e0aa7451a11b2606f9120ae5f2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumPow True Passed
d56e0325bf7fd2970d9e57b09c98cc29b80489c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod NumPow False Passed
cad1ca06a7a7b2961d3beb49d2ca58e432b386c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Def0 True Passed
bbb2db3afaf341827e96155866c3963c22fabc68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Def0 False Passed
508b8f8bcaab5186364701e278fe9256893e7518 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod LetDef0 True Passed
7060966c6579ccaa7a1bee6369d740e27a997051 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod LetDef0 False Passed
8e8eacad6b13f016a33f1874309e1f98a3422932 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Def1 True Passed
ecfca47a6994fb662e2cf0600c2fbf2f5ba28c83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Def1 False Passed
24e8436bf4f424622f31e7f88a7cc27c34c7b5e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod LetDef1 True Passed
06e379e6e3aa8a66d68c2b15ea865d637f45d14b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod LetDef1 False Passed
6bd370b5a336022d8a33922ac96b87925492b45e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Def2 True Passed
f5e83fcbf7b5e5e03e7d53bde2547a90ee4a454c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Def2 False Passed
93f1e8048b8ed64fb8f8465dd71b205df19d05da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod LetDef2 True Passed
b85a88311c32075622a290742d35145704697831 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod LetDef2 False Passed
a38baa8bb97f0603dde7eede0191cb260d10865a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Def1Recursive True Passed
6a546ab5114369853818f845e499c81ef13ce0c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Def1Recursive False Passed
8991a47908ca4319b087c512981fe1425322c74d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod LetDef1Recursive True Passed
4bee5513c8713d4926c676ec2d4d8440c4d8b62a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod LetDef1Recursive False Passed
eaa8b4b04c6077d0c98bcc8d13ac26887e287a22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Extends True Passed
caa8924d19248dc2d9290fe1992dd3de3c0d5f17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Extends False Passed
fc5fec1578318792c8dafd1b3d21476bc7cd39bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod ExtendsInDifferentFolder True Passed
dfaf44df76e201856b1dc0c5fff2d6b76b78e848 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod ExtendsInDifferentFolder False Passed
45237e23b6c55e17d78d5a7ccf0f4570d0ca1076 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Variable True Passed
65cef3b6d583dbf9364fa623d15f7bd614b127ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Variable False Passed
4fb022e8959be69380b5ea986b58e61084e6c732 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Constant True Passed
090b5e5b1730cee8d35ad3336b1c9dde50845fad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Constant False Passed
2f22d9330974cc3c9c4820b4f3d13fdf0b3a3305 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod ConstantRank1 True Passed
cfbd2f25b2d86220a0fb653595af826fee6c438d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod ConstantRank1 False Passed
591b27096751af80e30d1e4abe3bab884afecb9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Instance True Passed
114b8cc7d5c57653cb8c13901ac045595b2d403e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Instance False Passed
ef2843869760bac163ec2155c173f30a9158878b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceWith True Passed
9c42e548cdbf783a600117e49be0ad9a7f9efb49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceWith False Passed
aaa70354c24887bbf6f8dbb5b596da5f018e424e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceNamed True Passed
2b4affd09d758e20d89cd3fdafb6beb3212bbefa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceNamed False Passed
b955acf39f9ce6b3612b91d70823a5d3a3af42a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceNamedWith True Passed
28d8e1cb26530b4f740c24dcd035196d7a13057c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceNamedWith False Passed
e352f999235aacf67cadad6af8a168527b24a138 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceInFolder True Passed
b5be469530e63e7999a25f11d6be64db81b271e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceInFolder False Passed
7c49a6a5198aa0cc307df86893d5fa42cf91320c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceWithInFolder True Passed
f49901eeba99f29fe1e1267c5f9041ae5d096e01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceWithInFolder False Passed
e5f1718432493436c07d1323b911255889e6fd26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceNamedInFolder True Passed
4f1a768c8ead2aa2fd4983d404eb413bcd3e351c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceNamedInFolder False Passed
3a01cc12571df2b5f555395535fed05e5eabbcc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceNamedWithInFolder True Passed
50e23c7055240e2e6d065fdf70cc39826803c63f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceNamedWithInFolder False Passed
88c3f088a0e1159cf49fc85544cf2d66c31659cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod IfCond True Passed
59f4b0b9a1f5820f8e8d897378fccf2090142be4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod IfCond False Passed
c6528c7dbf6dc4ae143dd17c47dbb2617d3d18b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod IfThen True Passed
e0589e8803449ae7a0a6e2c66d802cf2fdfbce56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod IfThen False Passed
d0c9e3b8c629c1450c0b1390fe2b47bc97d83b73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod IfElse True Passed
a9e786e49e3543d515f5eac67e9aaa4e6bc5c59a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod IfElse False Passed
3e4176823500d294e587d4aa1e18ff1ca064d16d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod SeqLen True Passed
51c1b0c92cde4e8da1438189e66a7fc380bba152 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod SeqLen False Passed
a3da45506ff964b8ae15345cd2623ff9f9e13826 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod TlcEval True Passed
e3beeee17b1d240bc5460e2e0600a3019e4f82aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod TlcEval False Passed
1ef65f993ee080622ebfb9c6eece7f237e1dd3f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod BagCopiesIn True Passed
39569620c4567c1265b5de69faaaa0b25dc6c518 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod BagCopiesIn False Passed
eea9279d72abe187e7d50d48871608e36a964193 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod BagBagCardinality True Passed
205d39014ed516b29f91b0c0f0d797a380802a9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod BagBagCardinality False Passed
29b9110aebe04a47f2e1d9d5ea7baf4518a86ba5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod FiniteSetsCardinality True Passed
07b4100de2ad98508c26df2ceeb8b012b44b70fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod FiniteSetsCardinality False Passed
e1bdde5827bd74f6e690eb1c079083e8f3c768c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod SeqHead True Passed
9387f0c2fbe897cc4a654d1199da97662fe2810c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod SeqHead False Passed