Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
6e838358dda672644903ff80d4740392a104a889 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus OneLineComment True Passed
dfb59dcf879e2e69e4a39e41a26728a66cf49ed3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus OneLineComment False Passed
6d134787557e8e53c59386b8e326798004bb52c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus MultiLineComment True Passed
4dd9b737fd366ef006f9fb5f2d5be904dfbf5492 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus MultiLineComment False Passed
4cb20db7cbdc1b0c9a217cbe8fbd5dfe044a6e72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Let True Passed
484d17185bf158418d464b38e5093bfb2d80cba4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Let False Passed
8a04316114aa1d32a255109d841f4ae80fdb6396 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Choose True Passed
b4b94b3aeeb973c2eb7855aedcf8768f63b5b2ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Choose False Passed
2e0f0771b19cfa814a79b18d1713279ff3713bcf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus FunApp True Passed
50e8d8c0203a9a61ce99a043d85e9f87134fd699 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus FunApp False Passed
a71f374a6019f3f1f0b9a3b4c7f6e2cb3a84201f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Prime True Passed
b1d3c13503af81a10c4939ff6bd0b6130f6d67b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Prime False Passed
3ac06e01305289a2db48aa041de5f4124f037f9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumZero True Passed
a2d2847eb33bbee14936a981019a04c4c3788f7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumZero False Passed
2a94cbe3f73153b3d938d32b87e1152e0f48f343 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumOne True Passed
42475f9c8d4ece5f080b09fa1dcd007bcedd568e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumOne False Passed
165383edd21c91beb41608e081b2403a18d148ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumMaxInt True Passed
a69ae20e95629d6e003c36ee4cb880b7ef640906 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumMaxInt False Passed
d98f9fd4d8cf963154d5a11c2c2b0af19285f177 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumUnaryMinus True Passed
24f8ccc65ffa32323c8292939755f757537210d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumUnaryMinus False Passed
69e93a618b332b3ed80d5cfc447f9b3e783e71ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumPlus True Passed
4b7e842a2458b06539a525ca3f516d9c76737936 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumPlus False Passed
3306783687d0c114e76181836ab3cbd68501d5c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumMinus True Passed
65c8089e0bb48022b1f1b69595e0e25fbcb45646 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumMinus False Passed
4a8e5065db50fb199b3eb2a0eb64b97f697ebb8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumMul True Passed
06059e058b0717c89491cb65c4326155317e286a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumMul False Passed
dd034848e8ca25ca0aa5b90f37e7823f0e5abdf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumDiv True Passed
14bcace56d1b2255424c73686ff1d2b8056dcd4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumDiv False Passed
06e8ea2f354fb0f2ce9078f46e4df480b1e1bb7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumMod True Passed
647ea9fdbb002d04480d38812782c165f6e52f97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumMod False Passed
2104ebd1eba9ff4f6e638921ba941dbb416c20e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumPow True Passed
0453a912c83361dfa80720ef3f40adcd357c735c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus NumPow False Passed
d4a2068045d7aab605fbf41c93b381d1bc07e764 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Def0 True Passed
e0f48202bcbe76a71d78d69cf6f407f279ec7fe6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Def0 False Passed
c49efcea374eef6d3c70acc63ae3e582c8d79a26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus LetDef0 True Passed
54b1905e9f0ce00c18ced6ec57047a09409671c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus LetDef0 False Passed
8349f2894ff07bc413aad5ea6924e9304b905fa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Def1 True Passed
aa76b0953070ce1b3c4e0af0ac8cde897fb447bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Def1 False Passed
2a9f86219200917062f8120ac515e6666d2c13d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus LetDef1 True Passed
d4de93f2243566366910a73f8554cf6db0da4a46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus LetDef1 False Passed
d849fb5298ff6a6b7f5d0a6965ae3b0a7a68a0d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Def2 True Passed
b5e7c27e2131541f45dd2c705cc7afcee34a7ea3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Def2 False Passed
0071f79801fb4345665cede0f07023286698f821 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus LetDef2 True Passed
13f714a2bea0072d27a9b12e1478f88ff3534f36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus LetDef2 False Passed
451adb4ac1fc7afea5d1c99280bd88dbe8fd43cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Def1Recursive True Passed
53f9ae32726ae0209fb550fdb26fbd84b72a5e64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Def1Recursive False Passed
e1a5e1092417d51a2c509ec0dc10e0669edff3ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus LetDef1Recursive True Passed
3bed2baf3bb343e538583c016e9b4c3972e9ec8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus LetDef1Recursive False Passed
232fba39e441c1b0c7ec81af27b52179e5287e36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Extends True Passed
a095281b0f384ad0136e494013760a86ce8fb217 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Extends False Passed
ad091c3f6a16ebb3953c75b169aa51634631e27b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus ExtendsInDifferentFolder True Passed
462115b98c3f283f490778b1a724ed7a9a95df04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus ExtendsInDifferentFolder False Passed
f43f898e4e41ccbd66d28e9dda06a70a07404455 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Variable True Passed
15a00585d5946ab91aa3e3cd64207e74c09e0c12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Variable False Passed
4ede55fbd5fe7a11eb196acc2927e854abd6d411 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Constant True Passed
35c6236fd80fd66ad211842ded218c5920dc85aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Constant False Passed
58ecc9353b66191b1421b55578a864f5cbcfa81b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus ConstantRank1 True Passed
bc4e5946fd1e97dee0bc0cad9e59bc31fc25c19b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus ConstantRank1 False Passed
1b9a6202e81b533d1d06aaf61d6c130639291423 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Instance True Passed
d74d25af9f17639dbedff7d9d82a86d042277353 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Instance False Passed
5204b7af13afd2c1250181d4eeed3512137b4a6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceWith True Passed
fa6f6b036102bf7b971afd68b41a7c0f23b0f1b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceWith False Passed
5ea2a377949bde675ae2c0f61ebf7e40ceaab719 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceNamed True Passed
1254ba4cf28704f5446602cc55620d019f57041b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceNamed False Passed
d5f3a047d423e7a62eb5daa4f4f633c636439e34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceNamedWith True Passed
405c108118da1fe8fe78a31e8b50e8c42263f454 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceNamedWith False Passed
ce046d6c001e553702f31485874074c8845ff2fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceInFolder True Passed
9bd7be3f1d2af340a75a4786a3a4b35e4f84b73c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceInFolder False Passed
45d1e3836aa10e5603772c0351ff10594ba01988 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceWithInFolder True Passed
1f77927525b0c91b6f9a10f54ee3574cad6f733e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceWithInFolder False Passed
3fde64f693cde2c0697e2d8776c92ce1af67e138 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceNamedInFolder True Passed
6070b6f770b40b4a870b2afebc9d3b90248aa0cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceNamedInFolder False Passed
13d14aa7797a88e78e751bab2eeb41f64ade2f5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceNamedWithInFolder True Passed
1f68566c8a86536d94cdffb7a2e58ddab39e7cb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceNamedWithInFolder False Passed
7944efb9a942d4921b36fbbb48faa7af7424af68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus IfCond True Passed
a9edd58f6e7cce82b2e54f8e0092994efc184d9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus IfCond False Passed
c35be21b013cb84bb851afe5c957f492ff888843 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus IfThen True Passed
94e8982368e7c5290153ed34289a722c8389d064 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus IfThen False Passed
fc049e8b04f46efa55582277ecb589633f037466 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus IfElse True Passed
a767175336786d07f4c5e8f97aad947d05d5e074 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus IfElse False Passed
a2e5fca4dfded077ba802957ce08f691592c99da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus SeqLen True Passed
a2ecdf8d4596fb0e5f5b5fd837ba3ad2cb8d4edc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus SeqLen False Passed
1e5e84a915d5a4c2db29def93747f7fe6435c547 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus TlcEval True Passed
baff21ab1d20937dc27cb9023a3ca223abe3ba6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus TlcEval False Passed
5821f1ca11ce1922bb23a7ed182c0778739843e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus BagCopiesIn True Passed
0bfec6bf39941a6b17bbc9cde1c67e2672c1b42f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus BagCopiesIn False Passed
2e92f7717a0c4fe7a5e742e21aa2ac8143bcf63d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus BagBagCardinality True Passed
b537f4ee7f301a6707718e4f3c287780812030bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus BagBagCardinality False Passed
8a9fd9288394ab1d8d4693868ea87cd8a0594bf8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus FiniteSetsCardinality True Passed
a2d0bf76ccbe5943feb95aa17151bd627af24dee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus FiniteSetsCardinality False Passed
81d2614fbf0092d87ab675f7ebcb13223a4f0c89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus SeqHead True Passed
bfdb53448169ce5c9665bf5945a4bbd27764c8bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus SeqHead False Passed