Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
05704faffefe75d801d88ae221aab78767dc72c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus OneLineComment True Passed
d60aef8e019eb0c47e71a514bd64cbce93fbc137 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus OneLineComment False Passed
db0c3b71b097701223436101a5eed11025cd4d0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus MultiLineComment True Passed
09557407e9b99727fb071f01391a4dcd28fe5142 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus MultiLineComment False Passed
e913013eab7c9b1ec9d140cdb9a101f55690f822 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Let True Passed
048c12bcfa69d237bac6260c2811e64b2c7e9bdb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Let False Passed
139beb4f5eb1905daf6d6023e4814169f3f51982 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Choose True Passed
e63dbc9132e0314d53972ee572ef9d06b2dac819 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Choose False Passed
73afd37d265e5972bba9aecdb17067a99637cb50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus FunApp True Passed
dd06f2f14caf6dce96f8f5dfcf05297b66165d5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus FunApp False Passed
ce997a532dea92067d476cdc3ebdd2deff4cba43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Prime True Passed
1cdd67c6469c15c60bfc736b5b2614ced3a0479f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Prime False Passed
b9f9d321f9ee525ad5931707915c2ae57d3d8ee5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumZero True Passed
2a766faa5f8bae5cf6a9e5a76b2e3e0c4d0fa2d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumZero False Passed
ddc395d3590e7b14dc7373fb3b66b95688945e8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumOne True Passed
f416ee5960df0b3d9be2dd6d84d053c1b84380c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumOne False Passed
5f3bb61d63c85ad099a07956deae3b3ec28e80e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumMaxInt True Passed
cf746ad6698d1c5a92d31d02758f57b3af8a3b5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumMaxInt False Passed
8ac52f76cbd4fb345c25f4d773fcb7c10c10d7f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumUnaryMinus True Passed
73eb323cd8a2e895a7f1275cc322cf07ce020691 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumUnaryMinus False Passed
a32a8a4551735472840182846283b8de1fbf280c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumPlus True Passed
652d560fdd5fc9f5f4d223559872cd2fad96e828 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumPlus False Passed
f83227bba23c7a4d960c10008ee1bd996cb38be2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumMinus True Passed
5e7554f990fad6e09da1b6f1cf6671e841aef0c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumMinus False Passed
781e87936550d33cf5e5bf0bb96f6d47ac536014 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumMul True Passed
152985c611ec1d2cd4d4bf3df46d9246c007c739 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumMul False Passed
a7959620b75292b03066d08a07655ba054659fcc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumDiv True Passed
f10fde80c9557f021caeb05d57e210d819dab759 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumDiv False Passed
f9e3953be5f5772a28cf8f555f811172735dda1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumMod True Passed
f0457e4690125807d2f104f28745661aae851e10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumMod False Passed
165720833dc41b66959fa60dd4c7688f84e63942 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumPow True Passed
90848c1d0c500f3f26f209f99a4fbbeee3d9e413 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus NumPow False Passed
1846f5a62de67b47e2356f53e8647361d12960e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Def0 True Passed
a8c3a5cda872c9b7e2b5f445ab3ab24475a20f58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Def0 False Passed
69a60ada7223f111f2094bb02d7872c507023453 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus LetDef0 True Passed
2fdbba77d5edb21e1bf64390eb4e0d6e8fe10483 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus LetDef0 False Passed
e727a98ddce6cc72eee7765f1983733d11eec0e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Def1 True Passed
c432f3fa8962f29b6f2642b5808a1850ca73539e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Def1 False Passed
215e8c20af396055cd0b035feacf359f190c3ed4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus LetDef1 True Passed
7dcdd09a441f188b2e89e1aa7d73f335ea1845e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus LetDef1 False Passed
f34fc0015fe7d50cf867f782bf68474363ae7c9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Def2 True Passed
84ccc43b2f80d61757d405c45cdad3e87dba0dfc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Def2 False Passed
8baaa28bde98bee3e4b0581ac15828d5e068f436 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus LetDef2 True Passed
845adda3f492ff6cc35ed6ef8b1c99279012b052 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus LetDef2 False Passed
04b4ac314bfaaca283963f46a0ded82b4e0da934 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Def1Recursive True Passed
40958b7f66f51cb8dd1b45a1d13ff2e097be9217 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Def1Recursive False Passed
895854dff9153604e391e1541a19dcd8d5e5c60b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus LetDef1Recursive True Passed
6d8249e1e23cb8f21d58dd421617003eac216129 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus LetDef1Recursive False Passed
2b84b32a92f63bfe5865f9f37091d267e50157fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Extends True Passed
3898924e7a51a3ff520360369399c13eb0fc5aa4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Extends False Passed
5ea96190e6eb7933f1b178c44fdca63504896121 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus ExtendsInDifferentFolder True Passed
14225b53c467875f1c1a65b67f0f242de7a5c120 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus ExtendsInDifferentFolder False Passed
760a5cc6a90c847ba40989a1809d793951d275b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Variable True Passed
61eea5ebda8a48746cdce25d37fc79cbbf650c4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Variable False Passed
f89ed214f86d2098b9753c1b75d206e2cd52b78b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Constant True Passed
cc6e45cbacbe44640e83684816412f0a85175007 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Constant False Passed
fb9ac2e68aee8e1ac5d45cd6e04dea98eba19931 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus ConstantRank1 True Passed
e1fdc87995c8a10d7595d380fa259fbb0c03a056 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus ConstantRank1 False Passed
550db06bebef409027190ce3fb997572bf566648 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Instance True Passed
dd4bf83cbf4441f447638cb0489dabb86403f1ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Instance False Passed
a0b7e1027780d032ff7531da97b8da54441fbcca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceWith True Passed
ad2b2d6c24473d9e17af473dc42e9e29f8347a49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceWith False Passed
42b4551562e644e6698aab211b659c94ce4c7144 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceNamed True Passed
28ebe479bdbdd0c9b54fe014cd2157ba07fd183d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceNamed False Passed
c2539d65257038c85522eeff6d8b9bfc2fff2135 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceNamedWith True Passed
7f712277fbc672cfc7dab559c57f097d494059e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceNamedWith False Passed
e79cd863970bc21944b0cce8a00bae52389fd0f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceInFolder True Passed
06fb70de78176efc1e60e70983a7f37566295721 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceInFolder False Passed
1fc44b2fce145f94db31873cee88a43ca3955c8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceWithInFolder True Passed
985e80d282b5fecb7ddfda5d07a18b9415d038e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceWithInFolder False Passed
42b07ef5b0e1214260371b6b23227175ebd0bfde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceNamedInFolder True Passed
764d3d5634a4fb522a6e16bf186913095d89a936 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceNamedInFolder False Passed
1742eb92d06515798974f2e590b376766b7e1c6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceNamedWithInFolder True Passed
1b395785bbd052415f4ef3fa0451a1e3874afefd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceNamedWithInFolder False Passed
983ed370a87146d3166fc5c3f794a8ee929f6da3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus IfCond True Passed
2df285fa800069a68cd817250a25ff0224e25c48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus IfCond False Passed
48bffb572e5b805eec487d63a7fae801ebfa368b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus IfThen True Passed
1de2a74c6d4e62cc178171878446f0dd3142544a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus IfThen False Passed
2a8688b47fd4b1ac303cf1cc4242e0d69375a378 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus IfElse True Passed
6c026bc2a6ff30e205fb48646faa0029de883f0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus IfElse False Passed
d0fe8dbe37a61b3c9e65c021c64d98f328442497 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus SeqLen True Passed
3f036a025c5e96e1aea54eacb1b090f43875e8a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus SeqLen False Passed
be6ddc9e6b5c6b15f5d696ca7fc2c1d1ca0d79b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus TlcEval True Passed
ac83455270502bad7bf3e5bd53075cf328712209 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus TlcEval False Passed
ddd0b712877ac49c192ff0afba6a814b89be71bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus BagCopiesIn True Passed
4add5b61cbf61e689a7efbf5bb45182ce90c793d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus BagCopiesIn False Passed
bb82924816e062e8363775ef289f0aa48cc010b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus BagBagCardinality True Passed
34f05553c30a4ad7e0470667d39b0257ac4e93c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus BagBagCardinality False Passed
ed9ea777e7341121e2d4d8acac86fdbb3c270efc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus FiniteSetsCardinality True Passed
f872fbacca7c7ee504d2f7322673dd8ead379a15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus FiniteSetsCardinality False Passed
8d2c2225e15f6669d67f057ed81e31427594d19d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus SeqHead True Passed
93ffcc959dc4d4d4785b8dbabc52a6c85aed0c64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus SeqHead False Passed