Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
94c6260200e57c763fa83b7516bf52a7e6318ea3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus OneLineComment True Passed
ee658ea55551eba00a71dd7648e14020483df1ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus OneLineComment False Passed
6cb3763ee5bde3e1f6a95668c66526af4a5fb519 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus MultiLineComment True Passed
711f3990ef3ebdfe19a55e046c76630aa06ffa07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus MultiLineComment False Passed
21ba63f84942f04d97a80b526595e5d91f94d48e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Let True Passed
acd83c5112afe293d7f7d546e7d95688c98b81a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Let False Passed
cacc629bb54cd7a6ef9f785792bf1497ae64290d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Choose True Passed
0fd709fe3d2a9b6d44e50c75ceaf70f91a5987cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Choose False Passed
692fa5bd73c019e48782bd01700b2ba27af7de5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus FunApp True Passed
9386cdbde020022d248b916bc65a638e1ea474ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus FunApp False Passed
99ae633cb382779c9c0d53d2d013596d8ed8a8a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Prime True Passed
056dee016a75fbf712c20a4dcfa99fda0c6089c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Prime False Passed
73845f52ff0683dc7d9eca8c0972f9fe87d72933 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumZero True Passed
9bde5cc133bae28970ad92bce41550f277d22838 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumZero False Passed
53031bf2f58eaf8ced0f1cd3c6058d59a172abbe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumOne True Passed
b0bd337d1f5f6dca0790cc290f5faa1f5157acff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumOne False Passed
546283273e2a331ab2e044e8724d3745a556ae76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumMaxInt True Passed
8b433d92ae345d0c264b35db8929747b6dbcd061 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumMaxInt False Passed
759d3983f2394ae755f42cd04deafb9b59cbcf18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumUnaryMinus True Passed
a2c91eafdffddb4aab550853cbdacedb2d1147c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumUnaryMinus False Passed
8b712f6ed5d6af15ebf1b1ac0b923038fe94d39c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumPlus True Passed
003b83582e833a51f0c508a10d38d56dc7306a18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumPlus False Passed
7e5bd4eaeea39890d607ac4a07b3104b6bed92a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumMinus True Passed
b6462185111db450fc7dbb7d303dd8b633ac17bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumMinus False Passed
d323700d888c8a8575ad7175cd49be74417459cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumMul True Passed
9b1a4eb9aeb30d6fcba88b9182ee994ae4ce931a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumMul False Passed
e23a20f947430dec6542f1c64815e4114681a8e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumDiv True Passed
bd3e031509eb01186f682e0bbc4c7977daff638c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumDiv False Passed
bd3fb90c4d35158ff3c6a58681e0531d30a7c192 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumMod True Passed
b87c934992b5a3ed6e41de1e8765613895531e08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumMod False Passed
b8b5f89e8e16dbf1a0ef4e1d300c864f21daf1a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumPow True Passed
95e3b10693b21b7921f447287548aff56a955922 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus NumPow False Passed
b8610e4ec089ab69845b3d3773fad2a79e824310 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Def0 True Passed
4feb9efced5a7f655d4fd307f41049f0ef9fb9cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Def0 False Passed
ea2484cc94f5bbe4e8a0db663ae2686577319dbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus LetDef0 True Passed
2dcb12475c0ab9ed7183af19cf188de5bf71f9d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus LetDef0 False Passed
188eeab3bb3bc43504eaceac758a2f2702ca4a61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Def1 True Passed
6b7bc77585626661d77820383cb9c3a778a1f56d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Def1 False Passed
249c57a2e81c84af7861ce135b7838f2ee6ff22e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus LetDef1 True Passed
472112cd4c9ae7da0568d0996b599ceda9367d69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus LetDef1 False Passed
b0d9d7a8fdb78d8284af292fc45008f302921e7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Def2 True Passed
7271ecf7d5f86f08a78cc5e39c5233ec00139756 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Def2 False Passed
d87b89c607300f5d6ab726420da0826d6df0f820 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus LetDef2 True Passed
b7ac5cf515684e744b84ed25ce1cd5c5088e2bcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus LetDef2 False Passed
351767a86f95204a5d6a155b85e4ca11b81cbad4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Def1Recursive True Passed
41b531a7df69077018eee425b2ff5ecc3469020a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Def1Recursive False Passed
e89d15c83acf4c757c50c8c5d1c4ac5088fd7a0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus LetDef1Recursive True Passed
707c4ab8d7f761cd6696ce05585d837149f6db8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus LetDef1Recursive False Passed
5dacdfcd64a61c2bdd86a44347ef8655a5c02134 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Extends True Passed
123b231d7340cf2be5a32b94eb677bda68fa9425 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Extends False Passed
0eff9ee5fc907ff48156a1470cbcadce33423f2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus ExtendsInDifferentFolder True Passed
a2b9bc4d6bec7c692c5df1a1fc52f49592ca1048 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus ExtendsInDifferentFolder False Passed
4eeca4c13dc1bf8c8f7934d26bc2517467999436 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Variable True Passed
e1852def9944e8ef30c428d3cb94fdff72390828 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Variable False Passed
afa237fbcc2c135f185ba8b6c33338b371160ace TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Constant True Passed
cf5d3dc02551b653d514f30a4633f36f0a5d45a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Constant False Passed
c5de1934a3add5b3e935f8aed902254e212344ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus ConstantRank1 True Passed
6c866ec4ffa2c006079140a0a72b55f18386d148 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus ConstantRank1 False Passed
bfa1f3bdb70475cefb914decf5cfbdf9d6daa849 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Instance True Passed
449c853d902b1e1380dfa9f3ccb47c0eeb81f374 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Instance False Passed
1012a797e3a0ce427991e6bbaecf60e327bbcb13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceWith True Passed
e4cad48bd0a953a29c979e1ee8a549b00aa6adc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceWith False Passed
3a246068595d4e189d962995ac246518a891fd19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceNamed True Passed
28d4b4c2b1b8f7fafc17873d6cacc74719ccc584 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceNamed False Passed
27e4ad36f4aca9f0532b3531254e3c424c9bd541 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceNamedWith True Passed
266f0192585c9e8ada0328afe0679b0beb35b0f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceNamedWith False Passed
6b77538b9a0516397ffa262c12c33b40dfb5489c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceInFolder True Passed
d4a7609013229e501bf8fc01905ba8c1b81ae403 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceInFolder False Passed
9bc818d436c4d62386ca3d70894a012fd89b70f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceWithInFolder True Passed
779b098a2b2a4138463b018dcb06b5c9e1a8f6b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceWithInFolder False Passed
7136d63bf45474e6664e1af000f651f97abcb0ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceNamedInFolder True Passed
213e69913a1d3d0797b831ecf16e71336ce98825 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceNamedInFolder False Passed
3e5de193f9b52ecf41929e1d6a396df37c18303b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceNamedWithInFolder True Passed
c0e1b846955ae9a4cccc156430dbd9dfd05946bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceNamedWithInFolder False Passed
eb8fa17565a9db085ef8656a78b7042ade099ab1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus IfCond True Passed
f84f23845a7726848d7fa6c7387b7a120f5c662a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus IfCond False Passed
2314ac88fe5b0b0da93e92768cbe6c3af90f96ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus IfThen True Passed
cd30c57de54b63785232d4fe8c536a09738c46f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus IfThen False Passed
b3abe7a6003feba1813c1f5887c70f77dcf449fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus IfElse True Passed
01f376ee35e650228b1363717688764d67053d86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus IfElse False Passed
6e18c369c6ebd6e3f5febb4b86a60a981a719db7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus SeqLen True Passed
73799a222f2b57ceab0fc37b7d52042d43ff7dfe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus SeqLen False Passed
1d922494d2481c4307669e0037e6a6f07437d8e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus TlcEval True Passed
e5f30d7fb3f426cfa89d3737edd2e301641d7aad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus TlcEval False Passed
d049fad3bdae82515c7680f603a0ff979fe49fe7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus BagCopiesIn True Passed
0023de7555d7aa388a13a891b569c2f1d7763d00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus BagCopiesIn False Passed
21bde95d6fe45888ea9a9fece05a030676f763d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus BagBagCardinality True Passed
6cc9979a7979638d4d04b4e24d7c7bc8ace1b603 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus BagBagCardinality False Passed
3149fcf01d9feda0f256a6e20d817f03a0985775 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus FiniteSetsCardinality True Passed
8d65e0bfe1c493c099c09635d4d08a5c821fd2d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus FiniteSetsCardinality False Passed
4014c59c1dbb8188718da6292371929b4ff4e86d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus SeqHead True Passed
50a582e6f121075ae3e9756795c6eb462ec87c62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus SeqHead False Passed