Index

Skipped feature combinations by plug feature NumMinus

Id Case Feature Plug Feature Skip Reason
aead075a6f9d9a2b7e1806cc8dfa9e8c00bf6418 OneLineComment NumMinus CanNotBeCase
232b0363fe2c718380ff016c70b23cd7906ac01e OneLineComment NumMinus CanNotBeCase
d64547bd951810e269865dff790903b1ddf61473 MultiLineComment NumMinus CanNotBeCase
7d2e26cfd8eed880185908a59370cebf777edb3a MultiLineComment NumMinus CanNotBeCase
acb1f37eea836e2cf3c5b08113c39858a18d19f4 BoolTrue NumMinus TypeMismatch
7bc251f0852b21c26c4fd62612d06312641a4b7b BoolTrue NumMinus TypeMismatch
bf9e07b40cd623cf7890c49c59f586154ae57374 BoolFalse NumMinus TypeMismatch
c7b73f2f719b2604e9bf16347e3329167e5f2e4e BoolFalse NumMinus TypeMismatch
af070744c43fe849e69702753d4efa938ec4e4f0 BoolSet NumMinus CanNotBeCase
c613e0051a0eebbbfae8ecc767d00a50c4b196bd BoolSet NumMinus CanNotBeCase
a695f878d14007b455efef7f95960f977f7a321d And NumMinus TypeMismatch
b6413d737c7a3cc397e9c8fe014f8b4cac8050b9 And NumMinus TypeMismatch
343e9dc2a972b2e97c99057e4164e1d8c3cec96b AndMultiLine NumMinus TypeMismatch
0c76a6e3f5c9fbdc1a69fb5a32038c8b89ac2695 AndMultiLine NumMinus TypeMismatch
54e24ae0bf97971a418cc20503f63fc425964f5d Imply NumMinus TypeMismatch
f928ac82f33f4ee2dff7c98375fe6b1769376f59 Imply NumMinus TypeMismatch
e88e4e4fe663024a44ebe293727aca959070b77b Not NumMinus TypeMismatch
077298432755ac8262c2c99f46863e581038d21a Not NumMinus TypeMismatch
c07b551cc5c9eb4753e02514ace1b21dde1bf6dc Or NumMinus TypeMismatch
7b3d36f88f3c11c326912af48be81640fd087db2 Or NumMinus TypeMismatch
8bd73538b4921511f1ab904ffbdd82edc55e0147 OrMultiLine NumMinus TypeMismatch
a9d193bfc0fc8c19b3e980a4b1743d21dd40c1be OrMultiLine NumMinus TypeMismatch
909876b22c2e6efe2015fe8db424ecd1fdac71a3 AndProp NumMinus TypeMismatch
7bf3f07d7fa9ce4df3753469d86e142adf83ef2d AndProp NumMinus TypeMismatch
0ac8914295a288f70c4a92e7e3a2581ca0368d08 Boxed NumMinus TypeMismatch
c36b83a78b833cacc927c2e9e89355a192167261 Boxed NumMinus TypeMismatch
fd4d336b7ea44af789d5da1bbbdd5569e37cc6d8 SetEmpty NumMinus CanNotBeCase
d8679453c1d2053cdc25c661b8d3933e2cb7ec88 SetEmpty NumMinus CanNotBeCase
5b55487d6cf97245921c77e51963cce0e78f46da Set1InDef NumMinus TypeMismatch
f188c0289077f30435c4af1df1b2c0a1b87894b0 Set1InDef NumMinus TypeMismatch
856a6796ea9d4ed900650f86410ee504114c5bd9 Set2InDef NumMinus TypeMismatch
42857265c8d26bfe545e4e2ff20c24b654be00db Set2InDef NumMinus TypeMismatch
d6f40f05bac0ddf185cf985bf2f096524edb513d InDef0 NumMinus CanNotBeCase
5f7d5fed81f6bf560294956ee9052569a24d91c0 InDef0 NumMinus CanNotBeCase
cda4b288de71bd60aee85f195f59e5b8c610f19e InDef1 NumMinus CanNotBeCase
321c16da637909a2e0f11c2f6556347619a69421 InDef1 NumMinus CanNotBeCase
9cd8471867dd639d125d50b928c271609cf5881b InDef2 NumMinus CanNotBeCase
d3e26df309a09998924ded7d828078667834f333 InDef2 NumMinus CanNotBeCase
17ddb9ad2cfca2309eb8509eda3163cbef594172 FunInDef NumMinus TypeMismatch
9bce4beb1f171e4631ea8f1f38a9cd2681610d61 FunInDef NumMinus TypeMismatch
9eca23e5ac9525b5851f1a1944ac08ba60f230aa Exists NumMinus TypeMismatch
2b219c90bdcf30af95edc890a5f4da647ba131cb Exists NumMinus TypeMismatch
98fbb15509ff6c4af064eb39cf5592a07d696a85 Forall NumMinus TypeMismatch
4c0630673dd90e14066cd5acbf9146e5f738d670 Forall NumMinus TypeMismatch
23bc3f07e7d607cbea0d4c1650b495a183ec0574 ExistsInDef NumMinus TypeMismatch
6d6d46c6f8c9061c9a51fdd339cca015b7e44cc1 ExistsInDef NumMinus TypeMismatch
1147b9de1edc3f2845342a02d336ac672c4f5d76 ForallInDef NumMinus TypeMismatch
a10c78aff8e3a46e1d1b0a421d0bf3944e6aaeb4 ForallInDef NumMinus TypeMismatch
96a80674de4207902221a75457ad48bc5c40a7e2 Choose NumMinus TypeMismatch
330bcfc69546d986fcc88fddc4fca4f065db2635 Choose NumMinus TypeMismatch
29d0a5f249d1782e2920d08a046f0a58e03bb7a3 ChooseInDef NumMinus TypeMismatch
2a376aec7e94c691967cdc03b27de1c17b608f1d ChooseInDef NumMinus TypeMismatch
e7877a0b047090280cf9c2c18571d4f834f41d62 TupleEmpty NumMinus CanNotBeCase
f6ff179f9cfd2167a0bf04b6bf7109f342fed1a8 TupleEmpty NumMinus CanNotBeCase
c185ad9710c9ab4c76d3d59e7d906d3ba9c65130 Except0 NumMinus TypeMismatch
255798e42a6d65df54293ecb49334c64a63654b6 Except0 NumMinus TypeMismatch
323f82116378b66b9902a7b3fc88211c9f50385b Except2FunTuple NumMinus TypeMismatch
08ef14103ca6037c0d5cbf7ebb7b3ac6d1007da6 Except2FunTuple NumMinus TypeMismatch
9f1c0c1345a5d291e0353ce5b3ffd8b32e9080dc NumZero NumMinus CanNotBeCase
2fbd65b7e2753bcf86533bf004b9f0ef6473ee15 NumZero NumMinus CanNotBeCase
a8c72eeea8b40bea0b23a16b700f054a27733e9f NumOne NumMinus CanNotBeCase
a307137ad292e724d3862d3c64cd4547559e4b80 NumOne NumMinus CanNotBeCase
ba031fddb1d92321f663dbd9240639e1951930ae NumMaxInt NumMinus CanNotBeCase
06f6c9cf9d99e5dbc87d910740438cf5f28874d4 NumMaxInt NumMinus CanNotBeCase
1ea2ab485c110a20ce4f8348324ae06a4753a882 DefFunInDef NumMinus TypeMismatch
eae2678a4e2500f21b740a5b27e88a36282affa3 DefFunInDef NumMinus TypeMismatch
4b33368c7d97a234f1a07c005a1f836b0c184554 LetDefFunInDef NumMinus TypeMismatch
4b50474e9190caa17adfecc1fa481958be27d166 LetDefFunInDef NumMinus TypeMismatch
dbc9345860e9153382b11ca3f2a65b1454aae2ca ConstantModelValue NumMinus CanNotBeCase
43bf4f816a0ed984dd9d13ac7ee865b55b65e3a0 ConstantModelValue NumMinus CanNotBeCase
3f23f74462bae6990dce6cc0f41684244ca71739 Enabled NumMinus TypeMismatch
a1dccd8f032a7afba43ef72f4bef4f0fd66621c1 Enabled NumMinus TypeMismatch
7e80d8ca59b4c1d315a6bc0c95f1b497d379c5e3 Assume NumMinus TypeMismatch
b820d452622c03b589811305aacbb4b945fd35eb Assume NumMinus TypeMismatch
18d6a3d456363b5f58ef1329bf45ec1b9a42261c AssumeNamed NumMinus TypeMismatch
6eb81a430e42654e68b9819af897ef275f750f68 AssumeNamed NumMinus TypeMismatch
c20a84bc80132c7250df820d0e3034607a984848 Cross2 NumMinus TypeMismatch
d85e5abc6c00108f6871ae51edbc0d654c3c32fa Cross2 NumMinus TypeMismatch
d522539ce741f1436b2322963363b6b1fc6673e6 Cross3 NumMinus TypeMismatch
c82265153f5459927900047e06d90f29e8f9762b Cross3 NumMinus TypeMismatch
6d1918f80a3e9fece615fbc4a67618d7e1c8d28b FunSet NumMinus TypeMismatch
84b361e11d197a57d3be7d36f9745f865be39054 FunSet NumMinus TypeMismatch
044142d12b8833eeeb91e07bc0c569ac3ae84146 RecordSet NumMinus TypeMismatch
38e43aaf448bdc0be4e2fef61dd898e7efcac900 RecordSet NumMinus TypeMismatch
45a7bbae1e368f7a93684f3de25d0bad85b48791 SetDiff NumMinus TypeMismatch
8bfddba926675a036ff708619f6ea4f4f079bd84 SetDiff NumMinus TypeMismatch
6b4e7800ebe1530a7a53ced253358d780257aa25 SetUnion NumMinus TypeMismatch
f8ac2fe34216b56831f80b37e77556e822cf5ca2 SetUnion NumMinus TypeMismatch
6fc63bce0a6ec068be9229a163480ebfb625f583 SetIntersect NumMinus TypeMismatch
5b3a9ce64f52aad0e2e7ad914f28e9c1038df265 SetIntersect NumMinus TypeMismatch
177947cf9ccf917da1e8921876a4c3c67a1a12f6 SubsetEq NumMinus TypeMismatch
384f44453bb5e37014ba09d93f2cedbac31f8152 SubsetEq NumMinus TypeMismatch
67b7378526d7366febf7b0d7d89c660508bc4477 IfCond NumMinus TypeMismatch
e05cde436a4a71d5e6cf2a3066f7f9b7c1072ccd IfCond NumMinus TypeMismatch
613993aab73d44473d6537e738590a5a6036942b Subset NumMinus TypeMismatch
1c228729f2a1cc5611bc40b8998e089b562df04c Subset NumMinus TypeMismatch
e467f1581eaee4bfd0b00bcda85d20def2ae92d2 Domain NumMinus TypeMismatch
9c223e651573c5f9530b4e64c6dd4d9a09d1292f Domain NumMinus TypeMismatch
8931d5e49da91cfd1682b513920e61ab4fa7af6f Union NumMinus TypeMismatch
5098dcbc6034c720abad9fe9bca128ffee84d936 Union NumMinus TypeMismatch
d7bd934bc70d153f1d19b29fc6a18642e86acf7b Equivalence NumMinus TypeMismatch
db99892b28a2ca391df744a077fa3760d74b0c65 Equivalence NumMinus TypeMismatch
fda64621e48bd47456867e2b942bc2d6a3273734 StringEmpty NumMinus TypeMismatch
c1fdc11807f3a70ee8c9aa2562ab2d80518830ac StringEmpty NumMinus TypeMismatch
1bc7bd397e2b3492fcf02907de87ff874105e0b0 String NumMinus TypeMismatch
7432a7e8a83c34b3484a1e3da1a07038c676268e String NumMinus TypeMismatch
1212fc81b0a403b1460ec66ee50a2987473670e4 SeqLen NumMinus TypeMismatch
11489ea5fd998842c1fa4792c7ef0c06fec49498 SeqLen NumMinus TypeMismatch
0b6708786449e9c93eaa2ba3224c5f78236394d2 SeqConcat NumMinus TypeMismatch
872ebfc2503e65ddae70b1e394a7938809a6e52c SeqConcat NumMinus TypeMismatch
0503e6560b1bd9384ae9b53827301c6744ceb22e SeqSeq NumMinus TypeMismatch
fbead2401b6241113845df95acd87716c2f72ff3 SeqSeq NumMinus TypeMismatch
204a6a63a29e0fb6d4c2ce5f0e2b82ed44a1dd01 NatSet NumMinus CanNotBeCase
14235ebc77c4a395f7d5b94d7a09849157a2d89f NatSet NumMinus CanNotBeCase
6cb57847ae2617a26e54dd8570b9eadf75537aa0 IntSet NumMinus CanNotBeCase
5c3ca1273d05633396e2df480d9072356ff49c59 IntSet NumMinus CanNotBeCase
861df5bc2a884ecf3d15cad9037dde02cf228886 StringSet NumMinus CanNotBeCase
85ab9d6eb1f00126ad97548b895d1a07e0718243 StringSet NumMinus CanNotBeCase
1e582fc765d6753cfed000f0ee696484d0c23d8c SeqSelectSeq NumMinus TypeMismatch
20bbeb6d6f0a06d982cd4cec672746f61d3196e3 SeqSelectSeq NumMinus TypeMismatch
74bfff7539faaef21aacce8f27ea104f391a3111 TlcExtendFun NumMinus TypeMismatch
193412c2a28a352784911582d407d8f11df87612 TlcExtendFun NumMinus TypeMismatch
be8ec8ec4bd2341b09539c4c518d1b0e222f6380 TlcPermuteFun NumMinus TypeMismatch
a5e10445dbc096349d4859a77cb800820c342101 TlcPermuteFun NumMinus TypeMismatch
3672b5fdbf61c0663ced162f84ca08517ff27e0f TlcSortSeq NumMinus TypeMismatch
53b8dc118e888f0fd788282681af78b7ee50e602 TlcSortSeq NumMinus TypeMismatch
940daa5531f7bf5c51450190147643ad8b764301 BagBagToSet NumMinus TypeMismatch
0688fad93ac4da639eb80656401a4e1324c1514d BagBagToSet NumMinus TypeMismatch
8960af5ce540dd3e953726dd62efa43ab192f8b8 BagSetToBag NumMinus TypeMismatch
550a705471e4c5e01e2ede85764dc1c00cd9f9ac BagSetToBag NumMinus TypeMismatch
ac3646975809791ae39882f091882995ba349895 BagEmptyBag NumMinus CanNotBeCase
fd479cf51ae8a01abc96cb669d18b110f5c68960 BagEmptyBag NumMinus CanNotBeCase
785231b17c87c333e473267ef4f0c7fec9027486 BagAddBag NumMinus TypeMismatch
3cc00c7b751c581b0bb68e0b7ce1c0a396bb95a2 BagAddBag NumMinus TypeMismatch
b5d001fa12743c0a8c75087e720ad50434869476 BagBagSub NumMinus TypeMismatch
d50a444e1860e218187022e4501809f58d815679 BagBagSub NumMinus TypeMismatch
ecb2a915fbee55209311d93f338e2c4e11b83c81 BagSubsetEqBag NumMinus TypeMismatch
ae89bdfd0acacc5763d36c1a1ecb9e5fb8c5e8bb BagSubsetEqBag NumMinus TypeMismatch
b0c35b8eafe3a2552845adf23c27d1e8319a99fc BagBagUnion NumMinus TypeMismatch
be74e153bc19334d79d97fc16c1cf8e34a7d3ff0 BagBagUnion NumMinus TypeMismatch
c847a858f3e6cea56f5ed43b3344d5d66cb68971 BagBagCardinality NumMinus TypeMismatch
91cdefc39e661f2ef15693c6f8c0e58ec593cf1f BagBagCardinality NumMinus TypeMismatch
189c0f69eec5b2688d70b22c03927ea1537ccda6 BagBagOfAll NumMinus TypeMismatch
0b461af6dc057c20fa9ca5e68cb5a88ff8828138 BagBagOfAll NumMinus TypeMismatch
4d7925032288ac83363caf85f3527d05eaa54536 BagSubBag NumMinus TypeMismatch
413b57d7cf0d7404f6ad3f095d1271169f5ff85f BagSubBag NumMinus TypeMismatch
46641cd4f4852827991d3a238bd93e361228a9b8 FiniteSetsIsFiniteSet NumMinus TypeMismatch
98a9364cc25e11d889cca7ef5c86aca2d2b0bdd3 FiniteSetsIsFiniteSet NumMinus TypeMismatch
0a5ad65485ca7d5993b0205d6a7ef39bb6772b55 FiniteSetsCardinality NumMinus TypeMismatch
a133cede5d3096f7af6e77c7d7bebb03e3cebb52 FiniteSetsCardinality NumMinus TypeMismatch
20e0ce7e057f81045a1e97354574163e2094d6ab SeqHead NumMinus TypeMismatch
ecd0f9a7d3545a589ec756023552ecf128363374 SeqHead NumMinus TypeMismatch
a3f295c6f24617f6c0854c068a9df73013c5fb1a SeqTail NumMinus TypeMismatch
1e44e2bd7126271065b57dd7b863f99715b0f144 SeqTail NumMinus TypeMismatch