Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
4eea7124fb0754d2545df0fb557edcddd9be25b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus OneLineComment True Passed
958ef11c2842a359c7da12b92cd3d0f0f1ebb0e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus OneLineComment False Passed
cd8aca6390c37ca4acd2e2527c56aeef7089024d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus MultiLineComment True Passed
e59fe363444f520a2b4eebe7797cfdd4c3dac945 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus MultiLineComment False Passed
3dfabfc6d302eff585b26faa9602e63269af7e52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Let True Passed
094cdae91bdf321dcd73fe120642e57f57d8e87b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Let False Passed
2a405af2b75cf85fcf5dc6f5c1848778d1bfb503 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Choose True Passed
bebd71701f252ffc17048927678c79caf51f3ed4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Choose False Passed
d29b37d47805d8ae0a3e5c2df1e3fb414b69403d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus FunApp True Passed
8f82a0bf852651be47061ac7a777107f75c697df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus FunApp False Passed
a1cf122e715bd2fe6f519b453e65e49ac5414afd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Prime True Passed
d276ec51f509d99f610462799caf251aaa3681a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Prime False Passed
c6d5d6b378c8bae8d3ed2213b0f9ee824c62130c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumZero True Passed
aa7f8acb824436e94d7e159b8d9d06988b096630 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumZero False Passed
ebb8af38b2f814f5e2b3c286d64223f5ef160712 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumOne True Passed
36e1ac690370d926b30225144f24a42b8df2cc7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumOne False Passed
d31cda80191655a95d91e82f0175703b3d2d7f77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumMaxInt True Passed
79aafe2cfc9a48f6a900ff35c6813e4aa77b16b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumMaxInt False Passed
2c5e635e6302f727211fd2b47a4aa75206fd0663 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumUnaryMinus True Passed
ffd895c952fadbb2b7ff8a0a6b76de19fe5682da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumUnaryMinus False Passed
6fbcc6ea43e4384b227d31704b4bd9d384e2a41b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumPlus True Passed
b9b642e2abcabada6b823c60d9f7b4facb69d538 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumPlus False Passed
a11f9d03f7f14c89fd40e43952d93bce26bfeb52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumMinus True Passed
204c07f1fc8541588f8b67a65a5b9458eef62509 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumMinus False Passed
6a54d4ba6a1c6a62eebb4b55f4a78ef9e9874016 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumMul True Passed
7a3c26c7c5477f92b4b0891101a3b72b5092a7eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumMul False Passed
5a619b8c23b64e5f39f81f1754c06aec81ecd1f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumDiv True Passed
a3f85d4fcdf8f698addb032a2788926a22ffded3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumDiv False Passed
dbb9f410ee2a96ffed88e2c9752923e3bbe70456 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumMod True Passed
07edd9177fdbd7a09b9e4af7c9e3cef773bb29d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumMod False Passed
a5f1cb2891f2df9883f11edc49bb52ce229ba77f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumPow True Passed
4958dadb601fe4987a05549fad86c4ab7d385f94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus NumPow False Passed
b3777d3585391bc09a2aa35f0ed2d03940051479 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Def0 True Passed
5d5933b3584609ff8dd21c611a85ca3beec621a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Def0 False Passed
e309539446f253e57bf5ffacef9de8f2036ff1ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus LetDef0 True Passed
286f941f2907517420b65e98157d518474f7c553 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus LetDef0 False Passed
0596361cbbc5fbb197c78872d017986d9de5dbff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Def1 True Passed
59b46dd09cfb689582aa9a70c7492d75884de6f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Def1 False Passed
04ebc6b8159e80d01ceb114ceb2c73f8aed4691b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus LetDef1 True Passed
82e9b7c587bcbfbe784589d3ae737935b26ae9bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus LetDef1 False Passed
5435c5de197a2a3416cca5133b695f3b05156304 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Def2 True Passed
84496afaeda82bab9b89982cd43858ac8cee251a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Def2 False Passed
4899a5eb0e9a1253189208779afb729c22654c44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus LetDef2 True Passed
14d8877d7fb7d1ab7861d0b92172725b7188ca13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus LetDef2 False Passed
6aa081177f7fd1747f61671119760240a120ad82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Def1Recursive True Passed
9a73c0fddd0fbd0a46a82fa1e36a9b30df8b098a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Def1Recursive False Passed
19a176077ff47e8e8a2a3f242e54aab17ad6e3a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus LetDef1Recursive True Passed
a3ec524a1610acb8341cea8545ecfd960f15f3ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus LetDef1Recursive False Passed
67fdcf8ebe0193b77c4ed589a38a99e2a5522167 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Extends True Passed
4d796758a9f750f2688e116d158c7e284ce9a2fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Extends False Passed
4280d9a6a7f0105048042ec8a207560566416b4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus ExtendsInDifferentFolder True Passed
e4b601f376e7e0a91b4c784f253fe6bc8e59d264 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus ExtendsInDifferentFolder False Passed
728a571dee29415968c7a30ba280e1afbf3bd9a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Variable True Passed
41a89a28a1c97ac3ef89fe90610fcff637e97367 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Variable False Passed
e58f9ff651952c4fd075fc47f261eff1ba8efe95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Constant True Passed
e947f4afa10295aa07d2784659c0b8527504e34f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Constant False Passed
e90f2c5c747e379bc985ffd3a82cee5a5b6741d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus ConstantRank1 True Passed
5ce89c5970f50a22424c3bc1d6655c22e4aa8182 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus ConstantRank1 False Passed
cdd5fdb5d4384a8a276beab5c588275c60607ecd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Instance True Passed
cf21d13e5dab98aa625e7e281e30165275278adc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Instance False Passed
af253c89e139a45b8433299b396aac7db70ee63e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceWith True Passed
69da690d0f8d5b99c46d853ba46fe481c0390bf5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceWith False Passed
a51af663dda26156f28365c9ec777f500163fb4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceNamed True Passed
f22813404c421dea1852928efc2602ceb653714e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceNamed False Passed
1c28927286bd95d60323450cbafbee1cdfa3ff8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceNamedWith True Passed
e718737edb3aaad2fe85c0088e8908b6ea3ec7b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceNamedWith False Passed
ad8f3b1ab0b8feb695d2246f5612a75300eaa87e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceInFolder True Passed
7890b958ab816f118da9df2825caa78a59ed4316 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceInFolder False Passed
48e7521672510b4e1c0e56be8c0e0bf83f5c60bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceWithInFolder True Passed
1a7cd759885b101f7452e78b3b8446822effb049 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceWithInFolder False Passed
fb44f8f459c1c5035347ec1217a969e96db36c4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceNamedInFolder True Passed
ee2b554988ea1d778fe0e48d02aca6b562e3b4ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceNamedInFolder False Passed
d101734f6ccc30b90e50907fc1a8c2d85e3ed8bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceNamedWithInFolder True Passed
f9095a09d00899996d6e6e5ca9746b95bf67014b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceNamedWithInFolder False Passed
20156ebd6d0ac8de7b312af77375222274999c42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus IfCond True Passed
e7d0e73cb15eae9a13e657a278ddb6f7c0746dac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus IfCond False Passed
4e243fd141a787193bde4ee4be1e10549c5c28c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus IfThen True Passed
b2e1b4ae76084dca3df3f174ba7dcad30b3bab1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus IfThen False Passed
58edb7b0accef50e30a64cadf9d9bb576f67f951 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus IfElse True Passed
57865667e8c4a7122158102fb52e853f38133f04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus IfElse False Passed
3b6f6a536e993992b28f21c63d0b7972b8821a06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus SeqLen True Passed
7bdaf2cf3ec1d7eace33e5187e669e2551aa7a3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus SeqLen False Passed
4ed713234901b3e0839b8505aa374655e8ea7b6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus TlcEval True Passed
3cc148e8307a90867c0cbb8e947f419f27190d37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus TlcEval False Passed
a0ba36a88ee806bcd926d1cf8467eed9ad2aae8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus BagCopiesIn True Passed
c0a00994870f405b42be821f90fa92d5cbbcfcab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus BagCopiesIn False Passed
60e323f454f9953a7a616aeaf7eaa0e14ba658cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus BagBagCardinality True Passed
37c51412b62ba4d4153a1c242e9a7164635ff67b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus BagBagCardinality False Passed
ffd9ca5c8a812a0bab542c218d28f52eab7a44f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus FiniteSetsCardinality True Passed
f43f07434bf174271dc261fc77bd9ae72d8eb7e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus FiniteSetsCardinality False Passed
3c6aa137f2342bd6039a77c584e639a82c911db1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus SeqHead True Passed
a750547c80492f3b29b0647d21d7876854a1cc1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus SeqHead False Passed