Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
ab8336752800aab7742b84ead46a906c6d8fbb33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus OneLineComment True Passed
1026f467f0d24210b78a840818e12d311130a5fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus OneLineComment False Passed
578748f3a070987b8d5fcd236ffd17d60cc4bf97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus MultiLineComment True Passed
c43e73c2f27bf59dcb69bf5a4a1f03661448d8b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus MultiLineComment False Passed
5c37e5700647d3092686dd5f08f332839ac0fa87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Let True Passed
4e9c7b1f0bc00bfca7993110883a0875ac2bd4d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Let False Passed
dc98c30f561e6182f592b9e5eb63852be8e3a8b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Choose True Passed
dca197223a09f8d2b8c527e26005beea422405b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Choose False Passed
c9e64e191d4b59a82ac748b014aada50c4a021aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus FunApp True Passed
9e81d56aac691608f282ed80cc385d09f2ec659a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus FunApp False Passed
f204c0d29813c851c919d49f254024ad88552677 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Prime True Passed
83b4e32b9f100bf3acb4bbf06572884d07866a14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Prime False Passed
c6e4dce6675b13aa2d1b121ceb55dfabcb10a3e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumZero True Passed
e1eb49fd65b0bffc7cf055f61ec728bafdb31cda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumZero False Passed
eecadb17c6501cfac0e611b97d1df3c351c8a2d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumOne True Passed
e8fa7e87923937c641feea7dce8b7b29a7b76716 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumOne False Passed
0ba536c03c25d35dc2abe1eceb8b9daf3c068322 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumMaxInt True Passed
154b469fada2543b300ca95a329c1c00d5912469 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumMaxInt False Passed
8736f2ef6eed136e6af3c0223dcfb7d8d39c052f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumUnaryMinus True Passed
0fbd5da1cd39ff87bb9f8b3fcc730291b41481af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumUnaryMinus False Passed
29afb4abb39cd9b945fd78fd19040a818e543cd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumPlus True Passed
205849ae88813d910b90d718230892f969586799 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumPlus False Passed
c5142d4f9f0377ae227cb2ace22fb28bafdf834c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumMinus True Passed
01432db1a59558213b0b3f4c504b20c58c565df7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumMinus False Passed
d709fa91e8830739628cbcc088b1778ff87fee29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumMul True Passed
0bec86fb99e2c9e3c5a22fc66448527aaa367fcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumMul False Passed
1cdb6d1deda6404a46bb5fe03e0a4db077743cf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumDiv True Passed
989d70be4fbe202341022b4c0c17f060ddcc7db3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumDiv False Passed
bb5528b1afc3aa24460db8ee6fc3c3118cdcd18d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumMod True Passed
4e202edcae8ea3d4d5b34278654acc70316b3910 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumMod False Passed
da9b6aef688a73df1452640c4275e47fe7357247 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumPow True Passed
cb46a57c5d326293015db7d10696ab250eb43914 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus NumPow False Passed
a5c7d0bbd6ff50ec257d08ca5d8617618533c3e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Def0 True Passed
51d69d38124cbaa643ef1ab0829f2d9f65480516 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Def0 False Passed
0d81d0fdfa86b54885738d8c223625f5e1f816fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus LetDef0 True Passed
5752a1af51d1e929dbd28c2a39ab7efd32a6a5c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus LetDef0 False Passed
6e9980ee16bba999b3a66005ac4bef4877160783 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Def1 True Passed
5e1bc10c4b8f71ed959b9164e5a4873e73b0b196 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Def1 False Passed
9a39337c4f78b144c138d27c75477eb747f2bb38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus LetDef1 True Passed
76bf92710a2a301d1664d3a7882f1abfc01d94d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus LetDef1 False Passed
9817d07d8707bce793fd965889851b0e0d459171 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Def2 True Passed
fe0f6c0d86e9fa0d01dd1315616d1f96ff11d18d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Def2 False Passed
717064ea7fa0fb84b5f8641a1240f1eb9fa0ae99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus LetDef2 True Passed
b429eda09a6a78680db4be05bc782d48f1253eb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus LetDef2 False Passed
4d01d20c32eb99bf8f0c0dc1415efa8433874732 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Def1Recursive True Passed
da013502c12a00204a8ad3c0eb5a0b928ca5446e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Def1Recursive False Passed
54d72dcac2a6db97f0dec3138aaa5b9612d203af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus LetDef1Recursive True Passed
b42d361f7f7e058e14db060967ca5fdd9ee6c2f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus LetDef1Recursive False Passed
1647a25f97a564b0ba04defaf231be85713d7036 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Extends True Passed
091ec8e1ddaaa700642d84651907d379e16a7250 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Extends False Passed
9d55966ef3930e6b14f039304c73e1e16a0bc1c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus ExtendsInDifferentFolder True Passed
a8c511034b49a2cd5bd539e797f6d615e0728fd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus ExtendsInDifferentFolder False Passed
a97eaee243fd81d802efd64edb62692d3b4a1507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Variable True Passed
0493aa7f7a053188413d3e1bdc16cd55e4692ae1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Variable False Passed
85a2306ef4725b6e0d4d85dce546080a4b617cc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Constant True Passed
00ac934e388b1e9c4a1fd8d708412106b65c95ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Constant False Passed
d943a58c4e498a3cf1d8350000ee9710ab732c17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus ConstantRank1 True Passed
65f30d4d82c44c143c426916044b5684354d839a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus ConstantRank1 False Passed
02545d2ea9db6e0517948a08e6298bed648d096c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Instance True Passed
e015a7a13cf751171657d4520df462cfe4bfc4a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Instance False Passed
71d1c1a5d64fde31a421825d00e2382e8655c1eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceWith True Passed
b4be32fac52ef693442305b06775eabfadc1cff7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceWith False Passed
953d7f35246c8706230eb09435207ddb1e76b1f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceNamed True Passed
d77db49e47cf6b8e383609e3abfdf72473edb894 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceNamed False Passed
3cb57768b37f97a0c427295ee51daac8235769f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceNamedWith True Passed
f950a4340cd886e0cdc0399bb8d478d60f92e638 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceNamedWith False Passed
7e5360077ec0c19360b2426195a38f8a1a64f9f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceInFolder True Passed
0aa1fbd7656a958597e408f4406963f5b37e158a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceInFolder False Passed
357458da1ba1d530c47b0278efa3c98204c8c467 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceWithInFolder True Passed
682b4691c392f250bd9efd63b3d401681ff99bc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceWithInFolder False Passed
1d879b382ebc5102530ed6d22e21f94c22e8ab1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceNamedInFolder True Passed
3e073c9549e078fbce7e09af9f67921de244cc00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceNamedInFolder False Passed
be66d8465ce65adee5b955f004d83c3350cca4aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceNamedWithInFolder True Passed
2d49396ad9f6d3bd1d668c6fa82e4a65aa6a7f3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceNamedWithInFolder False Passed
3f3478a2521ea5fe287c319cad8c9c2230e46dd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus IfCond True Passed
021f2902c4a2d7a0d89be47e1deb4b51f795e395 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus IfCond False Passed
b3c2b729ee382dffa31e7bfb5f1493b5149d6794 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus IfThen True Passed
9ab7597eec50bad8661c8cf1d7e9f02317ff973d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus IfThen False Passed
491926e7cc49397aed29be054fd8cd98d5e01534 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus IfElse True Passed
a1ed0b5ffe67fab28cb10f66e9d42bb7ad505412 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus IfElse False Passed
aa3611b4fb56b1fca75f37aa268ff6f2a3c86366 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus SeqLen True Passed
ce518e08f8b85572b9f314b011bea9ed84e000c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus SeqLen False Passed
b3e4c0836c12a8f663e376a6f730d562e3270136 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus TlcEval True Passed
04f809c2c7c1d1d77f99f66e647984ebed726bfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus TlcEval False Passed
a30738ed467bb292f304e510e788c71d5857a039 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus BagCopiesIn True Passed
51e60b687dd80a4e2005b42afe5878f8539cf1bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus BagCopiesIn False Passed
5392c52394d05c533bd3868957878669d2d86ff9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus BagBagCardinality True Passed
6bd49186740ccc8e33e6320ba9078f5bd833c3d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus BagBagCardinality False Passed
54faedd382da4846a44321f7c9c21c7c99f73327 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus FiniteSetsCardinality True Passed
a23b06faa4276c51565558632fe0ab33073fc60c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus FiniteSetsCardinality False Passed
e87d79bbb69a50773fc0bf70ad0244aab86046f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus SeqHead True Passed
52d4602085892dd25248288104a2b0a97ef03bc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus SeqHead False Passed