Index

Skipped feature combinations by plug feature BoolFalse

Id Case Feature Plug Feature Skip Reason
087c69b79796f3d937cc2838ccd53876ca82329d OneLineComment BoolFalse CanNotBeCase
2ccd1555e116eebe479f47260cb32637bb2cb63b OneLineComment BoolFalse CanNotBeCase
dd613680c207f6c2c111457ef16488f763f55cad MultiLineComment BoolFalse CanNotBeCase
973de5d4059701a174809e665ab58d6653c38fbd MultiLineComment BoolFalse CanNotBeCase
96f7795102986ba75b39bc151aaa1396684aeeea BoolTrue BoolFalse CanNotBeCase
7eba23cc0e7aace25a902a4adaf5fe893a16b5d4 BoolTrue BoolFalse CanNotBeCase
1eb3a7d1e200e96fd410098507dd9d6a72c57616 BoolFalse BoolFalse CanNotBeCase
5827cf5eda4a40d71991de6ebc5ecbe535706fe3 BoolFalse BoolFalse CanNotBeCase
dcd3073f883f7a04d581517baabb14380080892d BoolSet BoolFalse CanNotBeCase
cd557e62447de37fbaf37169a801307ba9239373 BoolSet BoolFalse CanNotBeCase
8a2bdf1a19b1b08cd7913e896ccda620dcf6a219 SetEmpty BoolFalse CanNotBeCase
833a146cec4783102aa52d25f453e6749f74f883 SetEmpty BoolFalse CanNotBeCase
37e5f8d9713274d63feb4f8507a634c0b66f03c1 Set1InDef BoolFalse TypeMismatch
30283d1a911ec0e1d123dfef45bf3ce3ee6613a0 Set1InDef BoolFalse TypeMismatch
b6ea277b73f8facaf2984795301786b584a18444 Set2InDef BoolFalse TypeMismatch
0e5261451f32582d3401fa6c4c831b7eccfdcacb Set2InDef BoolFalse TypeMismatch
f5ffeb36ffec1123a5536b3f46bf7632e83fa6e5 InDef0 BoolFalse CanNotBeCase
7d7c8aa54a2c8d0c87923cb754c2a5936e7ba781 InDef0 BoolFalse CanNotBeCase
f1a23f6b48f0decf5ef19687a2a65c24c6608db0 InDef1 BoolFalse CanNotBeCase
6947b81e6c2e8184a19815b14f844e23fe09a2db InDef1 BoolFalse CanNotBeCase
531c59132c821b25a2257619eebe0e9afe13e442 InDef2 BoolFalse CanNotBeCase
c28199cf551de18dc6b3728e98f5ce8876138b42 InDef2 BoolFalse CanNotBeCase
a7ed3b66e5d02745608793016fbcefbb00165c85 FunInDef BoolFalse TypeMismatch
1002d9f624c1c575a4fe087bbb256255720a7ee8 FunInDef BoolFalse TypeMismatch
48f71a63a0aa9fb22350a5aebdb7fbe965409041 ExistsInDef BoolFalse TypeMismatch
0d5fb99a92e45f6e2b94c4e817ba0fce6f1b5723 ExistsInDef BoolFalse TypeMismatch
f275ebc6a28a1a2a5faccdf889e2e1c7963e671b ForallInDef BoolFalse TypeMismatch
f91a3f2382f78295fc55b85b19b9e41b921830d2 ForallInDef BoolFalse TypeMismatch
eab199afd752d2a1818b6fad052127d93a97a419 ChooseInDef BoolFalse TypeMismatch
780771523a5a4ee11d6b300a77b2ab7f7c385d9a ChooseInDef BoolFalse TypeMismatch
3c73027f5b8b7d9555382357fdfb99b8b4460d5b TupleEmpty BoolFalse CanNotBeCase
b7b10354549b1da92c43e5e9247aad58ddbfd46a TupleEmpty BoolFalse CanNotBeCase
df6892985d48e9ff8d8d188c1a2afa9530b579f2 Except0 BoolFalse TypeMismatch
cc01456feba4d63c68300880131c88a847bcdd82 Except0 BoolFalse TypeMismatch
3c0114dbc50593c14c2c153f60472abc8bbd8af4 Except2FunTuple BoolFalse TypeMismatch
f0b2ff21363e96c498d60e799ffafb90cab4d8f0 Except2FunTuple BoolFalse TypeMismatch
dc60e7ce774a96968cff56a9c89bb2c85963a63d NumZero BoolFalse TypeMismatch
340314613deef4269fd3913321f38a1da24d2bf8 NumZero BoolFalse TypeMismatch
37bd23239ddc77a17b9e2643c7fc44b0ca03e74b NumOne BoolFalse TypeMismatch
eff25e9d0e3a55f0338d14ca9c69a9cb4c06d119 NumOne BoolFalse TypeMismatch
0c7ed41d3b2f6fb82390841cca2e1152ee95dc22 NumMaxInt BoolFalse TypeMismatch
92b58f5b56f40ebe53b3322644334c5cff4e0051 NumMaxInt BoolFalse TypeMismatch
9c9ad703403bd13b92bfa49baac185855e12f4cf NumUnaryMinus BoolFalse TypeMismatch
43d8f49d8a0543084e993875d922dacb01520873 NumUnaryMinus BoolFalse TypeMismatch
5603240f66083958bfc4a34fc8e72b0a1e6bc12f NumPlus BoolFalse TypeMismatch
74f39f094958f558e56d56ccf1184febd7d6260d NumPlus BoolFalse TypeMismatch
25daef4484350b2759c127f54ca0e290d022d0e1 NumMinus BoolFalse TypeMismatch
0dc4c7929890cb80f88bf49f667f1ab47784b178 NumMinus BoolFalse TypeMismatch
ef0603b0d8966c7c49df876523b848e3139ca8ff NumMul BoolFalse TypeMismatch
9397f7e0330c008731203b03ba09eb63f9308007 NumMul BoolFalse TypeMismatch
307c0e94784828ceb8a4163994595988f1b3e321 NumDiv BoolFalse TypeMismatch
417292be9f9e4308bb4c0cd2eb349b422f5f8ffc NumDiv BoolFalse TypeMismatch
bc38ad77ac44269cc118e65bcc702fc40421cb52 NumMod BoolFalse TypeMismatch
80cf927933aab37add6adc6e9d766067287ea920 NumMod BoolFalse TypeMismatch
43cab86775d6a67ecb379924d795d5a8cd141010 NumPow BoolFalse TypeMismatch
2025c55810a4270494620bac45225d9590b055e7 NumPow BoolFalse TypeMismatch
7fa3e352818da653abc8d1ce20773c06ebc565b8 NumGt BoolFalse TypeMismatch
66a7f912d7103d43ffdb34d699d7bc22f6bca725 NumGt BoolFalse TypeMismatch
5d0b281096243f7dce394054dc19845a0741bffc NumGe BoolFalse TypeMismatch
227a4499cf1db1756017bc2a788f4906cd7569a2 NumGe BoolFalse TypeMismatch
8611f5b25d7d2ebf32f890cc320ac778c1cd3cf9 NumLt BoolFalse TypeMismatch
20a70d92ba610a390e8b3c80dc8593d873403e7a NumLt BoolFalse TypeMismatch
d1f04b62fbc9e2e1e126207634cb3aaba736f8e9 NumLe BoolFalse TypeMismatch
6414243a073b1bbcef6bd6b0c99a2ca5c112f2ba NumLe BoolFalse TypeMismatch
7a49367d4b0a20d667512b0cbc71c7d03b39102c DefFunInDef BoolFalse TypeMismatch
a303add1371e35f4e44ed1a902db197e3b132d33 DefFunInDef BoolFalse TypeMismatch
6a1ad27e3a0ced516d2dba9acfff5e7cb214d2a1 LetDefFunInDef BoolFalse TypeMismatch
45830a1d1e0eab2e966cdf669046d94a564b928f LetDefFunInDef BoolFalse TypeMismatch
14c4706af15014fb18a9eb43561e6d4fcdedc6fd ConstantModelValue BoolFalse CanNotBeCase
b8c448a5471e8d6d925857db28803a0d4781fe8b ConstantModelValue BoolFalse CanNotBeCase
e103e5b3e7b293907e292316345841ca265382b9 Cross2 BoolFalse TypeMismatch
a59f12fe59cf7cd6d888e0b9a0635feb780bb90d Cross2 BoolFalse TypeMismatch
5b3ac2d4b76eb5f2a03781354e68fc9090baedae Cross3 BoolFalse TypeMismatch
4b521fa6478a562c55bb0a5cf0235dc9283aa540 Cross3 BoolFalse TypeMismatch
b12150543ef55619210951a5bcb75e733880e605 FunSet BoolFalse TypeMismatch
7230b89bd14342935578513493c4039ce8d612fd FunSet BoolFalse TypeMismatch
ce464ba3795e1a39000c2048646aa58af613950d RecordSet BoolFalse TypeMismatch
10f368c8aea84fafdda837e365c09fd3709e7caf RecordSet BoolFalse TypeMismatch
5413b9d93692a2a0a3116932f4ff1dc3d9c707d6 SetDiff BoolFalse TypeMismatch
d058e2d88d99e2fe5a379c63366a7260a89fd930 SetDiff BoolFalse TypeMismatch
6abe3f8e29901d1dde26e9e283bb6b45691ab78c SetUnion BoolFalse TypeMismatch
4d4c0bd3d360b4fc3d0c5cbba013a961013f2786 SetUnion BoolFalse TypeMismatch
48976d2e52bb7de5ab09549ababefd245bb353a2 SetIntersect BoolFalse TypeMismatch
91eb27ac8c3b138a87ec8f6acd909000f5668a5e SetIntersect BoolFalse TypeMismatch
9a75b557ba2e8f0196e22827003d28b450c69b02 SubsetEq BoolFalse TypeMismatch
833d34df06d87344e210339115abc0e4392de73f SubsetEq BoolFalse TypeMismatch
a2ac810e5c9e615ff716bb22f79654381207ae9d Subset BoolFalse TypeMismatch
921872da3c720884e2ed33dc6691870abb785efa Subset BoolFalse TypeMismatch
b2a298937c5fe74eb2679f5649ad4ec5ca67489d Domain BoolFalse TypeMismatch
70c5f6abfe91cfec1f6659920a810f16afddcc11 Domain BoolFalse TypeMismatch
4934ee9bcbde6e97b6f8ca74498e20d8b20a8514 Union BoolFalse TypeMismatch
2ce26215c301c38c4d45c2528c9f005946cb7302 Union BoolFalse TypeMismatch
0d55dc256d3861c77d0f3e4c158212a30c4f8980 StringEmpty BoolFalse TypeMismatch
9394d11aedc76209d93c14c52576d0f03fb89860 StringEmpty BoolFalse TypeMismatch
d4c567de316a72bb7574bea2243d4eef9aa76515 String BoolFalse TypeMismatch
bf2867fabae653a2e611a44eaaba04b7104d3926 String BoolFalse TypeMismatch
18a5a1ff56ac39cfe799fdaac64a53fb32a522cb SeqLen BoolFalse TypeMismatch
bb19ec43d99bb8d04042596aeaa6fdf7fd5d666e SeqLen BoolFalse TypeMismatch
35c6df19876e6aa1d2bbb7733851a80cae28ab8f SeqConcat BoolFalse TypeMismatch
234c75b58aff95e23188e88e45ce2cdc60c80d62 SeqConcat BoolFalse TypeMismatch
f9e483232eed6bb17b49d7321a97e2caa2e8e63a SeqSeq BoolFalse TypeMismatch
f3d4e328fecbb70d94db46df7f2a5c12d616d944 SeqSeq BoolFalse TypeMismatch
6c663f1cca422b9eacc6f5df797e68a4c6413697 NatSet BoolFalse CanNotBeCase
a7ae53174d39563da168ae732d1c0fd19934a367 NatSet BoolFalse CanNotBeCase
ceb7c13be10bd5cbe57ce227f48a788db669879f IntSet BoolFalse CanNotBeCase
e7e0a716f217b23f9939139a80dd99fe8184a8e2 IntSet BoolFalse CanNotBeCase
4e7eec55b54d4bd05c0c2aeba233b94072f2f01d StringSet BoolFalse CanNotBeCase
f143bcfd99ad97fa1f34d49a3ff422513551fbc3 StringSet BoolFalse CanNotBeCase
5c122afe686679206e9d0f2182b7a3ae697fb3f0 SeqSelectSeq BoolFalse TypeMismatch
5824c47682e76c9d095de538c0055d309f755b8d SeqSelectSeq BoolFalse TypeMismatch
995d9c4e42db27959d6a04500af2f6401a444536 SeqSubSeq BoolFalse TypeMismatch
af21e2823938f74cc4311b25145f566643738f5b SeqSubSeq BoolFalse TypeMismatch
50f221dd55236e3d7295fc830bfb38ca8206abde NumRange BoolFalse TypeMismatch
6aa648bbc5852e2f78703168d732f6d643561cf6 NumRange BoolFalse TypeMismatch
e37f32822e2d1385967181e97cbff937d98447ce TlcExtendFun BoolFalse TypeMismatch
9b609ea9815b227f188df67d1db14b905bc4b545 TlcExtendFun BoolFalse TypeMismatch
afc9beb1696fa75d062ef83e2fb67d8e25c8ac5d TlcPermuteFun BoolFalse TypeMismatch
95ce406fc6fefa1e14979ff692a85c9a34241319 TlcPermuteFun BoolFalse TypeMismatch
673fe6e66167702bbc29ddc97f39e0cbe8aba6e9 TlcSortSeq BoolFalse TypeMismatch
db5da438b3a50a39c1998bb00153f93d8158e95d TlcSortSeq BoolFalse TypeMismatch
3d5ac3601676ef09fe53c33f7ccba5a66a0b72ad BagBagToSet BoolFalse TypeMismatch
a887c4c7c1b019159d574472a7d307f36d5c5d9b BagBagToSet BoolFalse TypeMismatch
9e27c664006304427b2ca0a5ae780a4f20fa686f BagSetToBag BoolFalse TypeMismatch
1651c659065dade36331b9dcf76ab6a8417092eb BagSetToBag BoolFalse TypeMismatch
a6a5dbeb0e9aadd8c74769bd5952f10ad8ffebae BagEmptyBag BoolFalse CanNotBeCase
5df69ad6983e154c5c084116aaa5deca5e3a202c BagEmptyBag BoolFalse CanNotBeCase
f9784d34dc6c1400511aca1b3d4b1a2a64dfbe00 BagAddBag BoolFalse TypeMismatch
d13edd309d364bbf97cd5f06227585c3c22caff4 BagAddBag BoolFalse TypeMismatch
bb704aa402777fe3ecb882d554cf8087a5504be6 BagBagSub BoolFalse TypeMismatch
20eab9b99e8120547eae18740c0f1ecff88d787e BagBagSub BoolFalse TypeMismatch
4539217269a218efde2021f108dc9044805475f9 BagSubsetEqBag BoolFalse TypeMismatch
5720c2aac83dc567c3bbe8592f90a4400eba04a0 BagSubsetEqBag BoolFalse TypeMismatch
982be90cd117de6424457be03051418eb804c652 BagBagUnion BoolFalse TypeMismatch
4ebe3d571285a775ef16734d788cfd7eed8d56e2 BagBagUnion BoolFalse TypeMismatch
781e4591082ad60c29d7127e3e5632ead9c53d6c BagBagCardinality BoolFalse TypeMismatch
ccce698be22117bf4747ff2ac46b5274942ecf04 BagBagCardinality BoolFalse TypeMismatch
e3dc4449caa3f464b43716b8f199cb6ded64057e BagBagOfAll BoolFalse TypeMismatch
f13d5f999009042b3de9e20e1ec5b34ae5f4a6f4 BagBagOfAll BoolFalse TypeMismatch
ee6290837f30fb59c3d8b35a30387f9c98b39fb9 BagSubBag BoolFalse TypeMismatch
6a8089195ead9d17d24ddafae53b663dc3adf38f BagSubBag BoolFalse TypeMismatch
78842c72690b760eb2aa8d0aeab9cfebf882149b FiniteSetsIsFiniteSet BoolFalse TypeMismatch
c330e1cb86214abfc15eba2e89dc03807857eceb FiniteSetsIsFiniteSet BoolFalse TypeMismatch
ea43196bf18c3bcb64eaef2048e6a2d2c3b0f6da FiniteSetsCardinality BoolFalse TypeMismatch
5f68e10cb26a339a0a44159fff8afa51bbbaa00e FiniteSetsCardinality BoolFalse TypeMismatch
23c1efe58c9d0d9ccf66b93158d04eeb7a345cf1 SeqHead BoolFalse TypeMismatch
e3284794d497da8cdb2d8d45df98eaf9c21dafe0 SeqHead BoolFalse TypeMismatch
c102f168f0a1694c8bef64f7b17614f2c0f773c9 SeqTail BoolFalse TypeMismatch
c7f6ced4010ff72b6f8eeebd7a80aabd59bee575 SeqTail BoolFalse TypeMismatch