Index

Skipped feature combinations by plug feature Set1

Id Case Feature Plug Feature Skip Reason
e14a797851b91c7f3d29ffa5477ffa3a8d12d5d4 OneLineComment Set1 CanNotBeCase
3fd656e943a1f299265acb134b46c7017721562a OneLineComment Set1 CanNotBeCase
2e315a051654616401b3181449555aee634f9e2f MultiLineComment Set1 CanNotBeCase
ab50eae2d3176bf0d8025bee0a02bf7d97e99b3c MultiLineComment Set1 CanNotBeCase
5ef596414d904d4cb04fa0011525a3dbc51d18a2 BoolTrue Set1 TypeMismatch
5c36863e430a6005c0244ead0904dc13c65aebd3 BoolTrue Set1 TypeMismatch
299087f4a27385de453685e555e5fe9fd00ba8ad BoolFalse Set1 TypeMismatch
ce50a9b96ce618dda7723fa029066e435c64bb22 BoolFalse Set1 TypeMismatch
abb5fee2f8ed8c9db7f95c57fe49c7f1972f28e0 BoolSet Set1 CanNotBeCase
44cea39ebb184c4a31d1da3a1d641b7b15144d5c BoolSet Set1 CanNotBeCase
d57aecad8c63e3a031497d6ee265dbb9f9695888 And Set1 TypeMismatch
2ea40de540955fb41129d608c99f48b59ee5d027 And Set1 TypeMismatch
6d5b8121fb7575b5ee23086c58a384b71af8f52b AndMultiLine Set1 TypeMismatch
cf400db6afd26036d00c5c7cd1ca66b31bc3e6fd AndMultiLine Set1 TypeMismatch
33e24cc6a945e06e61b309bcd2a34b34a8b1c546 Imply Set1 TypeMismatch
1a9e1e1f0b271efadc44dd8604a4c985ead63bbe Imply Set1 TypeMismatch
3235c3eb5b8d2f5b36e14c9f96b664668bafdb2c Not Set1 TypeMismatch
25995132da9eb8170c16e97f85c5d97ff475f147 Not Set1 TypeMismatch
c41014f56576608eebee2dd1bf3793c764189a4a Or Set1 TypeMismatch
5e57b6642b58b5db3e9fb13125b8c29019e05f72 Or Set1 TypeMismatch
91e8f77071e2bb7c0c9bfb210f2214429ff2d0ce OrMultiLine Set1 TypeMismatch
9b44ed2453c937c7aed3bec40d5e69a3aa53a0fc OrMultiLine Set1 TypeMismatch
678b0a790ff57e4581793017c4ab642ad53cb82e AndProp Set1 TypeMismatch
727c398663535effe45f38e99bd45ca4763ba4f5 AndProp Set1 TypeMismatch
b2874c15ebc8a3f575e4c5e14aaaed2ed7f10c0a Boxed Set1 TypeMismatch
b9bbfc41ba265dcf294beca57ef4b607c35c1163 Boxed Set1 TypeMismatch
a89bb0d62329d2718916711c1146ed4b6983a40d SetEmpty Set1 CanNotBeCase
a385231029b19d269332ffd2b39249d83a7942c0 SetEmpty Set1 CanNotBeCase
25f3e512d3954649198501a91b62dced83dfbc60 Set1InDef Set1 TypeMismatch
ba73bd86361570ab781a8603b34d1c874e34597b Set1InDef Set1 TypeMismatch
6050f057ab028c1947c1add028c21842ca71174e Set2InDef Set1 TypeMismatch
a238ef733d110fcb57be967bce11fa62cea9807b Set2InDef Set1 TypeMismatch
1ed6dc9972bf354488271976625d8ae2e0c8a6a1 InDef0 Set1 CanNotBeCase
7f96e40ce17d79bdda10e0d0de69492a67b81db9 InDef0 Set1 CanNotBeCase
8d45065933b3a031409f467146a0556278c56e8b InDef1 Set1 CanNotBeCase
1318f008a1b6095810589841e59e38037d3e30d9 InDef1 Set1 CanNotBeCase
f1cca92ad73cd6b6cb096a9b4810bcf6e3bd0d99 InDef2 Set1 CanNotBeCase
f6ef9f3fd67ebd7fd63632f0cc82654e1077f51e InDef2 Set1 CanNotBeCase
d850fb406b6c179edb6551705e618c756e7c0830 FunInDef Set1 TypeMismatch
7209078eddd767e67d5753e2104e4b2ff704760c FunInDef Set1 TypeMismatch
0e83309bca5b2754b18d21c4a9081a266349ef0a Exists Set1 TypeMismatch
930c05bb5e4e83e4d38da28da75bf4bad060a3c8 Exists Set1 TypeMismatch
dca7a20508298bca9934ff362faf1069d81a93ce Forall Set1 TypeMismatch
1081a47bf4bb9a70ad9c66d837766148a2f5c8bc Forall Set1 TypeMismatch
7d99d99116634d9723b1dcb1c0057d413956373b ExistsInDef Set1 TypeMismatch
951cc6cbc0bc4acc85098837e47e2602fcd5e52f ExistsInDef Set1 TypeMismatch
f1dee5288895784c6460f0637351dc7fc378d746 ForallInDef Set1 TypeMismatch
d50cb3d03882938b6a02c8a66f45e5440d2064a5 ForallInDef Set1 TypeMismatch
031bc837778b66b1e002efd28a4d77111b86dde6 Choose Set1 TypeMismatch
a55fb36d4a258eebd849208cc7c19ed4ff252ce3 Choose Set1 TypeMismatch
0975280b8481b6cc35269f34a89d5dfe8ef5c74e ChooseInDef Set1 TypeMismatch
4294542699889199f2a8900e50b8ba1534bbf8d3 ChooseInDef Set1 TypeMismatch
7b7a4c4ba8b95163c3b9cf0df80a929e241abcb9 TupleEmpty Set1 CanNotBeCase
df90f9879ec04031a6152fb5748a31b84cebdcba TupleEmpty Set1 CanNotBeCase
21874b1d364271980ed5c9719176f60f54d87201 Except0 Set1 TypeMismatch
1913b201dbe40dc445c99584ac59f0227cd97625 Except0 Set1 TypeMismatch
a746a4ad2f375b5bb4b91f82cbeba8928e653e93 Except2FunTuple Set1 TypeMismatch
a254d864f89571110c1ba1647bc579a3d9c4d58e Except2FunTuple Set1 TypeMismatch
23ab80e9a4b7426e33bc22cba88bb4c63df1b403 NumZero Set1 TypeMismatch
02c24017f13ef8df32c5bb44b151917652c7eb6e NumZero Set1 TypeMismatch
d330b8e00c1ef0577cc4f4feac86fcc2e0a326b4 NumOne Set1 TypeMismatch
31c116294b93ac9ba937a0fb8eefdd0542008777 NumOne Set1 TypeMismatch
b7c5c06f6781554e647c87d9a7403b5400a1b406 NumMaxInt Set1 TypeMismatch
55665e22147ea53a5cc5d9119cfe968e79bbe61e NumMaxInt Set1 TypeMismatch
0dba7fc33ad21c79448ea7bab41ae309ac724b60 NumUnaryMinus Set1 TypeMismatch
41c978c6cb8d334ee1131a7249397637f7fcff29 NumUnaryMinus Set1 TypeMismatch
9350888c7d58e9b6cbb3c169974e3d29cf5bf160 NumPlus Set1 TypeMismatch
9e7c7b79c1b68b1ff38b11bc2df3cf4c36437524 NumPlus Set1 TypeMismatch
397eca6bbf14cf0204538f49c2427793b37f86aa NumMinus Set1 TypeMismatch
9f0a8280f40ee91514715f8ef489f71d14a4d2bc NumMinus Set1 TypeMismatch
7d748d0abfbcf684ce59ccea6c59e7b38f5b9a0b NumMul Set1 TypeMismatch
51958cf95aa4914ed65192254a214b6f60b3822c NumMul Set1 TypeMismatch
4cd8e6395f9d2cfce3cfbf3cb2c90d49f5d83b9d NumDiv Set1 TypeMismatch
c9b563ac12a6f436e9e711e87959639fe96bb327 NumDiv Set1 TypeMismatch
3a8bb8492bc25dab7787251558defa93b3384db0 NumMod Set1 TypeMismatch
812af60b064f5336a6a262e80940a5ec448e3a01 NumMod Set1 TypeMismatch
1334e394042cfbcb7760afdd1832f0ca175604b9 NumPow Set1 TypeMismatch
c89951fc361d4fdbc423370dfc3dded181ef6bac NumPow Set1 TypeMismatch
59d52c599544415fccad1bfd7fcb93662dac7a91 NumGt Set1 TypeMismatch
d9abda18ec1f91335e5eebe11b2fadabe1be6056 NumGt Set1 TypeMismatch
12b604233c823dfff85aad6caedafc562fd99bf6 NumGe Set1 TypeMismatch
20adb9ab971cadf080aadf1c38f921fd64a15057 NumGe Set1 TypeMismatch
e09fda72600b68e3b063c8bb5ef7acc6728cf129 NumLt Set1 TypeMismatch
47b9c8a052ef443b490d06cf58a302eaa987a02d NumLt Set1 TypeMismatch
f2183d04cee3e2d1bf277ee4653d0c1889c9f1b3 NumLe Set1 TypeMismatch
7105fb1f4cdc704d38dc372a1782b0d4ba2c3606 NumLe Set1 TypeMismatch
eb5fb218b4b0d1560db793b657ed940b9c9bc2c7 DefFunInDef Set1 TypeMismatch
075543285f14eaba9c6a127680f862eac1a2f856 DefFunInDef Set1 TypeMismatch
bc5ac77d3bd5cea8f601e18d82bac444865d4b4c LetDefFunInDef Set1 TypeMismatch
38437139e2720025e779bfac3c842e88c4e66e79 LetDefFunInDef Set1 TypeMismatch
f328732b10dbdb881f9c530f53efede0137ba35d ConstantModelValue Set1 CanNotBeCase
2abe339ee62f07fc2d97356e708ffbc76ccf31ea ConstantModelValue Set1 CanNotBeCase
d3aada8993a27b595a48f4f96d6b18dc40c88b06 Enabled Set1 TypeMismatch
4c24c0806d3893748f51dcbdcf693977605d9b3c Enabled Set1 TypeMismatch
c50ef8fc5dd412b77c28955111ae2f6d52d43b60 Assume Set1 TypeMismatch
6df9e0a48c32deb0ac6447e7fdc79ccda142ec09 Assume Set1 TypeMismatch
780f7c38c8503c2c0713951c2ab7bc613946653d AssumeNamed Set1 TypeMismatch
5f5f7d1de95b2801f3fe6324a5a1c329781825e2 AssumeNamed Set1 TypeMismatch
04d73b7c062cb2f41661ea8b63e1bb889cd866ed IfCond Set1 TypeMismatch
ae55b61c4bce7a07c154bef23baef5d7279f7608 IfCond Set1 TypeMismatch
acb5a6da0aec9f1be8fb26d2d6cfd59057697d0d Domain Set1 TypeMismatch
922effb44832fe5103df1e8f7263212714200477 Domain Set1 TypeMismatch
8eb15551f9d7e632b961891ed80a0a4aa6fba9bc Equivalence Set1 TypeMismatch
b03ef3cf299aa10bb7a0eac60fababcb0785331b Equivalence Set1 TypeMismatch
c5effd1be58547629fa297e826b5b0b8742b5bcd StringEmpty Set1 TypeMismatch
ee9bb9c640b9354ec330645c5ecbc21be609d34e StringEmpty Set1 TypeMismatch
6ad416a91c5cf99ee1647ce2d4d8d2b8893483fe String Set1 TypeMismatch
ad19f879168fa3fee4dbf1530f885549d5821fca String Set1 TypeMismatch
ac48aff4ff04eabda36029bc6b5fa41f2349cb74 SeqLen Set1 TypeMismatch
d456f559a72fe97b57ed2854a11ca7d6a5d17440 SeqLen Set1 TypeMismatch
36546396457ab932c6ffdad58222bbf0dc29d0ef SeqConcat Set1 TypeMismatch
691dcc342e7759253238b4b47dfe33c42d2229c1 SeqConcat Set1 TypeMismatch
b390126706595e2bea245dac1c8563461543d11c NatSet Set1 CanNotBeCase
1f0d78c402af84e49649cfa092ee525b82a4f382 NatSet Set1 CanNotBeCase
f71196aa6dae6ed97e54e44253dbd57aa13b9676 IntSet Set1 CanNotBeCase
bbc040745ea79b9d03a2e9c42e97e189dce20792 IntSet Set1 CanNotBeCase
d8e0b015b6f0589cde9f0dd710cb7b4e1a848a83 StringSet Set1 CanNotBeCase
b8c1b27007751007be71fb98af211c9273b3cbca StringSet Set1 CanNotBeCase
98a4a214737f6e331bd89045391f5e5436bc98b4 SeqSelectSeq Set1 TypeMismatch
2552b8f921f7fc07b63abbf46d83a2a9465025ce SeqSelectSeq Set1 TypeMismatch
015540487526f98201d681c836ea5d404cd42d35 SeqSubSeq Set1 TypeMismatch
3705a0254c2dc88d961a4143c5bc721f49060e00 SeqSubSeq Set1 TypeMismatch
a3c97cc29b97b5bd466689b3f7872e1d562bfe52 NumRange Set1 TypeMismatch
1015d828d7465937e673d9e7415dd08cb4ed2340 NumRange Set1 TypeMismatch
ee01c23d77d3360d43a592a4da6f0f236362c75c TlcExtendFun Set1 TypeMismatch
c9a02c9055d529f7871bb07d894b255a8eca567b TlcExtendFun Set1 TypeMismatch
2734058d0636b1d1e1cd382508855cc4bfc0e8da TlcSortSeq Set1 TypeMismatch
7b06860e8a031cea7aa9d4528aedc6eff548193d TlcSortSeq Set1 TypeMismatch
a6b4c514b9b9d896746ad3b27ce7171ed0e1bb38 BagBagToSet Set1 TypeMismatch
d6ca21b1d0a3a19fa8165cb4f0f260cd5fd98bc8 BagBagToSet Set1 TypeMismatch
94bdf6f78a4e8fddf65714f5d3b8ac123ecc4369 BagEmptyBag Set1 CanNotBeCase
01832b202e3bf081b7e3684d0566795f256109c0 BagEmptyBag Set1 CanNotBeCase
438e4dd250638343cfc8e8e963f08750bae01c7f BagAddBag Set1 TypeMismatch
b20218024edd7e4ddd2e3f4fbc9e9efbbdcbf790 BagAddBag Set1 TypeMismatch
6b2aa4abc37cb15bbfd3bc52df4d65248006d20b BagBagSub Set1 TypeMismatch
88438307fe2acb10b955e62add2bc9c7d3fc904e BagBagSub Set1 TypeMismatch
a239f2014f047baf830442f90aca66f6e76231d5 BagSubsetEqBag Set1 TypeMismatch
52e98b65e8ae6917869ea3f47f6cca86c49ac29d BagSubsetEqBag Set1 TypeMismatch
1cec047d02f39a0ce805fe9a5620aca581e846f8 BagBagCardinality Set1 TypeMismatch
f1ec5a4525dd4b20a99b83be66831e8c789ee63c BagBagCardinality Set1 TypeMismatch
a671243516e05ce775c2d019c0425580005e6c29 BagBagOfAll Set1 TypeMismatch
c182e445682dd07c701b8611f439bb12f08ed235 BagBagOfAll Set1 TypeMismatch
43c67e193f9f65d08c09409bc7d1d2b09691c2e7 BagSubBag Set1 TypeMismatch
b05b678f0c5b6240972e4684c5e3f989d3391970 BagSubBag Set1 TypeMismatch
8dd55abd8fe2bf4cc05719615fb1ef4722d43d2e SeqHead Set1 TypeMismatch
5004c4cbcfeffe5edc8c662486c33fc5309e6a4b SeqHead Set1 TypeMismatch
67e0a7bea6ce4584b1cbe10aba7f7f4e30bddea3 SeqTail Set1 TypeMismatch
ebd1bae2ae1a873425a9500d46171ee0f769cdd3 SeqTail Set1 TypeMismatch