Index

Skipped feature combinations by plug feature Set0

Id Case Feature Plug Feature Skip Reason
396d8626e1af8ad886daf40940d8469cf9c720cc OneLineComment Set0 CanNotBeCase
2f5804ecc963e22e2af7500378081f4c79b593bd OneLineComment Set0 CanNotBeCase
2eb1806314d36108f58e93addc0ce2fd92b2cc4c MultiLineComment Set0 CanNotBeCase
1f4c517ae9309a0e563e1b9210bd2a51e4663e7d MultiLineComment Set0 CanNotBeCase
a8021912868de971cc050a933c0a2b47fa76ed64 BoolTrue Set0 TypeMismatch
a7f92bc6e8214ff51db2c3aaadd9d8e708a2cff4 BoolTrue Set0 TypeMismatch
00b0aec6202c4d2652015524e82e2af88f663197 BoolFalse Set0 TypeMismatch
6b004de2b43b93b7dd45bb86ddaf7461f4f6b0d8 BoolFalse Set0 TypeMismatch
f9cc80884948a7bf6d7bd2314fc1086dfe8d0429 BoolSet Set0 CanNotBeCase
8fa1c1072ae81c2200d2f6717d6617889ed40407 BoolSet Set0 CanNotBeCase
b754068c32d9d6ec1f3d7bf56b52f17286d00f18 And Set0 TypeMismatch
eeaed9254d40aabed8ec446681c44459876b5dc3 And Set0 TypeMismatch
e4dccd9b9f9668db5541f6709b4dbda704034935 AndMultiLine Set0 TypeMismatch
fc58fed46c6d4679097736f0a0486485c61f8d93 AndMultiLine Set0 TypeMismatch
64ff0717ba168fef1680e2164f8a2c6395a1521f Imply Set0 TypeMismatch
b988385ad33c0f81a382e9060c8b179afa3e087d Imply Set0 TypeMismatch
5623541766a12441b2f47eb5f2bc73bda616a2c7 Not Set0 TypeMismatch
115b5b66b0b2c917aa3df3d8031be462d838f699 Not Set0 TypeMismatch
ebf5178436556c91c0ef245ec51f68706234af4d Or Set0 TypeMismatch
bb64cfaae17a6973dc064c92d4d3ccd5bea78ca7 Or Set0 TypeMismatch
3a1ef45f25682cc7e32dc577a9be4b4a4fb24308 OrMultiLine Set0 TypeMismatch
4b3ae8ad12faa35873a2dcf64fa9d4de4092b62b OrMultiLine Set0 TypeMismatch
d8f706780939ba2d11fa0c583c11eef9c97d06d2 AndProp Set0 TypeMismatch
8a230ffb5e96eb6f65cabd46c869706eb48462bb AndProp Set0 TypeMismatch
f8e49a86cbb89f8c32236e16cbd49daee79e1d1b Boxed Set0 TypeMismatch
a2aa5534b5147b7def0139a1bd92bf4beebf2e5b Boxed Set0 TypeMismatch
e71a1c898b8d8f1b06c8d47995f5d66824d5fc3d SetEmpty Set0 CanNotBeCase
3ec32a765c1a7c63d5a11fb44f996e89922bc0b3 SetEmpty Set0 CanNotBeCase
c96537506314551c38bbcaa653416d207871fc44 Set1InDef Set0 TypeMismatch
04a784b32bd49b84b66e5b72fd7164f9e7bdf83a Set1InDef Set0 TypeMismatch
83bac444681a6c0ef75aa01ff24c8c894b0ecfa4 Set2InDef Set0 TypeMismatch
6e1b03877f54e0bbc5c1834b3901c7b6c37a5b10 Set2InDef Set0 TypeMismatch
c5a147fc196eeee1ed26abf4654ba0bd0de64c16 InDef0 Set0 CanNotBeCase
f431282e7c82aa4073cff426c939ceac9679dbd3 InDef0 Set0 CanNotBeCase
2073528f639b5b46aa5ff8aa0c5a3818aa670ef2 InDef1 Set0 CanNotBeCase
88c3f4fef0b38a8744e282f3e01c11ec5fb0f2bd InDef1 Set0 CanNotBeCase
3f58786e38939451a9aa831122a6b33682f5fa34 InDef2 Set0 CanNotBeCase
176792ad89c165b66e9d7601d50e9d65960cf6cf InDef2 Set0 CanNotBeCase
522f5bc536d539aad171c7be87775700bfdfe23b FunInDef Set0 TypeMismatch
474175e574ef4c9f29535a9608bea65b54e86d49 FunInDef Set0 TypeMismatch
1d6fdbcfb81d1742503a6b135db4ebcfb20b78a8 Exists Set0 TypeMismatch
0d3240b32e9ada40018049ae814b6fe42a46b454 Exists Set0 TypeMismatch
b1a107f2cd6aadfced4ef5eabe559536f6c15a3d Forall Set0 TypeMismatch
50735c8da77b85492244a7242ee64d3f6ae31391 Forall Set0 TypeMismatch
d0c9d1e89b84aa115eba03029882e55a6fce1bc8 ExistsInDef Set0 TypeMismatch
5accf5fc70f1c6c4fd29cec20ca11fbbda322699 ExistsInDef Set0 TypeMismatch
0df76069509ea9ab58f569aa8df7592b714bc0dd ForallInDef Set0 TypeMismatch
cd3115b690715016ef224eb4c24649f3cb7771b7 ForallInDef Set0 TypeMismatch
a6893ce26b6ee1f420310405c045549fb51559c8 Choose Set0 TypeMismatch
34fd09b419696e39c77ac11dd09bee86334b7157 Choose Set0 TypeMismatch
efda6cdb6da422f71189b000943f090b21fc76b6 ChooseInDef Set0 TypeMismatch
a2f2c8eb56b3e64dc2fa95b0e35ddaae87efa27e ChooseInDef Set0 TypeMismatch
82678b7ef6ac470bb01cd9153f84f58e0285bf90 TupleEmpty Set0 CanNotBeCase
fab72a9b030a81c6699d2996e213125121ab0f8b TupleEmpty Set0 CanNotBeCase
5d968a5a39360f6254f1a2cf2694ccce5ab86f79 Except0 Set0 TypeMismatch
eb5de0aa217870f4d4dde21f9b5bbe95acdd9be9 Except0 Set0 TypeMismatch
a8b2b43b66d8d415683a0c03a281905e0fef1582 Except2FunTuple Set0 TypeMismatch
79cedf72e49ac5885fef0a8839462544871e4900 Except2FunTuple Set0 TypeMismatch
7697b73c9a070a1309f441fff8d0c46ffc9a52a4 NumZero Set0 TypeMismatch
9a64aafdc4cae27702792c53ee0cc78a12d7d67f NumZero Set0 TypeMismatch
684cba6d724e412a4810bc6a54a14ac112910e78 NumOne Set0 TypeMismatch
8a657ab62800300c2c3c72f1cd3ebf20e333aef9 NumOne Set0 TypeMismatch
9c60b9afbd9e40d1bffae45aad3f711dc9e98785 NumMaxInt Set0 TypeMismatch
54a8cb5ba6be91038e6e332c349dc869a30032a6 NumMaxInt Set0 TypeMismatch
d8791f5e949342322398608ce9b191cca24f2080 NumUnaryMinus Set0 TypeMismatch
46d16f272f10c2a9df3b7be6cd97c6a453991cc1 NumUnaryMinus Set0 TypeMismatch
4113cef282aa5fc8a4c0cb06b90df8528872b717 NumPlus Set0 TypeMismatch
eaf7c613e8d3f5be7714ca8bb125d0d0e2a3b778 NumPlus Set0 TypeMismatch
972d66f86124ef0814e37370ed83501a6319c367 NumMinus Set0 TypeMismatch
ab41f1842b1e5beb3f843df13924238a0dcd3e60 NumMinus Set0 TypeMismatch
5d982afb474094725b2f0667eb7d6029bd201696 NumMul Set0 TypeMismatch
cbe3d36ad86bcacb898cdeb7d8cacd7ca687812f NumMul Set0 TypeMismatch
9d8a27cb425623794eb69c1fcbbdeb04445c20a3 NumDiv Set0 TypeMismatch
4d28a5b584192d68c74af7573085f3a08e606729 NumDiv Set0 TypeMismatch
5cf7391433b1931844139079e38cb23f8bc57f5f NumMod Set0 TypeMismatch
c7e81ab7ababc1d45a62c8db155ecca044826f8f NumMod Set0 TypeMismatch
873e2e0903239247ca0bfec4c288f857347d8d8e NumPow Set0 TypeMismatch
456daee567a292aed0b1e882604eab4d77482f56 NumPow Set0 TypeMismatch
64b57e80a2bcaec705ec905db9c2e25ef2402c63 NumGt Set0 TypeMismatch
31de4fc409bdcef43029a789ba5fc15775d063a2 NumGt Set0 TypeMismatch
8ccc27f8067609fba1cc699f33a0821569ebd58e NumGe Set0 TypeMismatch
4ae4a2d7a9082cd84b5dbca867e50a86dec734b9 NumGe Set0 TypeMismatch
62f9e81f1ee4a45335f6546dbad5e1d1d03f0356 NumLt Set0 TypeMismatch
96e9edc3bc026062adee8eb117d7d237efcb1339 NumLt Set0 TypeMismatch
8e4225bd207a89aafe8e4796dff0b01f435d5dcd NumLe Set0 TypeMismatch
da16c0cc1356d53b16a5b65330c46b00d3a7c730 NumLe Set0 TypeMismatch
4e4c753387ea7e52fe17db7dd65a045c31cd16ee DefFunInDef Set0 TypeMismatch
fb6e7155e879d3453f9a25a6fb8d05b3c5329b8b DefFunInDef Set0 TypeMismatch
02dbdc7462f6d4a9aef1ea3a5c88e750bf851c1a LetDefFunInDef Set0 TypeMismatch
14a19465921b269f1ed01a8d3f5b41d0a9dc7016 LetDefFunInDef Set0 TypeMismatch
1c2863d802459841c384917aa6c7aa545edf58a4 ConstantModelValue Set0 CanNotBeCase
30d6f6ee976b6eff0efba30dfa72861b96d0abbf ConstantModelValue Set0 CanNotBeCase
4143f4cb06d48ea3bddae67b01a592602a350b8d Enabled Set0 TypeMismatch
b973a7c7a645e3d19c09008a51567e8ac22f38a2 Enabled Set0 TypeMismatch
aa6ce81f5e18f59e9336e03960acb012418e15f3 Assume Set0 TypeMismatch
bb685617e397ac4091ca66682456d64b33b2cdfd Assume Set0 TypeMismatch
61f8afbafaa7d8bac3af21bd5742eb8097f41217 AssumeNamed Set0 TypeMismatch
6695fbadfbb33516f59ff0fa7dc49d7b1bc06537 AssumeNamed Set0 TypeMismatch
79c9560e7661aebe26c77c9d155fe68a1074d8fb IfCond Set0 TypeMismatch
57c9040cf7ddcda2f46a934e3115d664d64ef797 IfCond Set0 TypeMismatch
41f6c7d3d74c467da6e7b3b1393d673522a98a16 Domain Set0 TypeMismatch
460bce630c6c63b7de49c7dc2015bc3cd0c920dc Domain Set0 TypeMismatch
465a3550807e58a3bf9795c7a7b7d7780b796af6 Equivalence Set0 TypeMismatch
83be7d0fe3aa9a1ff0d1eaf0c8717863dc566882 Equivalence Set0 TypeMismatch
303fc9e1733a1c44582bed93398b364df30e6ba8 StringEmpty Set0 TypeMismatch
2783ef664d71e740d29f4dac64cf77d5493f9f56 StringEmpty Set0 TypeMismatch
710409c07ce9dbb7186388383f490b58e0ec86c0 String Set0 TypeMismatch
95e64bb1e63ea1027bda4c8d8968e2d701825fc2 String Set0 TypeMismatch
be28509739558f4563c7a5050deba45bdcdeb64b SeqLen Set0 TypeMismatch
e4a2bda6cea9dbbd8180d39c82f0918b28174a51 SeqLen Set0 TypeMismatch
388115df4f3f60234891f9ca5ffb61c04696bb93 SeqConcat Set0 TypeMismatch
ba738bded357d94cdad4f33a883d95cc36ade181 SeqConcat Set0 TypeMismatch
bae1ef5c880290880bb63b3c052a24489022232b NatSet Set0 CanNotBeCase
dba7b591bab654868d574dc37bf6a51b4726a927 NatSet Set0 CanNotBeCase
425ce4326cc22af53967cc83edf46716f99329fb IntSet Set0 CanNotBeCase
d49115aa1ab4657165c524333ddd3c151ad1f112 IntSet Set0 CanNotBeCase
932624db675e23982c9bfc1e4d04068ebb7462bd StringSet Set0 CanNotBeCase
7b610596db4dde08e99da4a4978f6039b746ea89 StringSet Set0 CanNotBeCase
e1d2f009eb9b1e42cc77ff929081d631e8810d7e SeqSelectSeq Set0 TypeMismatch
7e79ca1c36b9f0964c100091eb9d730fd4f86e9e SeqSelectSeq Set0 TypeMismatch
35c75b1232f315494413cd12947a97bc6892f454 SeqSubSeq Set0 TypeMismatch
1851113071773a8072b75f809adfa89b1edf9702 SeqSubSeq Set0 TypeMismatch
b4c3621427f2b941c7f6934b7b19223a103985eb NumRange Set0 TypeMismatch
05a5483d7802e8c86b25b521531dd751748f81fd NumRange Set0 TypeMismatch
a771fb7bea291002187e457c0069057c475f6137 TlcExtendFun Set0 TypeMismatch
103cb52c930760840dcf827e2546d2c6354119e3 TlcExtendFun Set0 TypeMismatch
67b120cee9867490fb2165ec8b5736f6cbe732a7 TlcSortSeq Set0 TypeMismatch
bcbf217486888ecd3855e97eef5a35450e9f547f TlcSortSeq Set0 TypeMismatch
90802f33fda0333edd95afcbf57de2809c5a32c0 BagBagToSet Set0 TypeMismatch
833953f00e60f94e18b355779f013c85a7a9815a BagBagToSet Set0 TypeMismatch
c32b648ff346eafeafccbecd5f4f9a86f51c9c11 BagEmptyBag Set0 CanNotBeCase
2a5e4ce0904917a0a9d8ea91ad3daaaae31abdef BagEmptyBag Set0 CanNotBeCase
95cdd49773dc29b2a9a3e7d3d28a289f52b89eb6 BagAddBag Set0 TypeMismatch
7cf8ffe21b9a7a7f006ae673115bb91644e91032 BagAddBag Set0 TypeMismatch
899bacca9ce4fd3624bfd5f25fe2508aa898387f BagBagSub Set0 TypeMismatch
c25ec1ade7f262a16329914b1f9f1bab4d95f4c7 BagBagSub Set0 TypeMismatch
0054a53ff04531955455c0925c131e4d708ccde7 BagSubsetEqBag Set0 TypeMismatch
dfeb49614bbbbd15d717a3fd5a3afd52d6d9cbc3 BagSubsetEqBag Set0 TypeMismatch
d9119b55f41900847914bf89be84e4f9f975814d BagBagCardinality Set0 TypeMismatch
19e7284ce0e98d5c0a601b1d01e84c3e85809cc4 BagBagCardinality Set0 TypeMismatch
952fec6e93dacfa9aa8e18a25299040f9d25fb10 BagBagOfAll Set0 TypeMismatch
0e0755a2f08e91f472e281c8b5b34956d3ca0b2c BagBagOfAll Set0 TypeMismatch
aec0d7a5d9b36037aa313635273eef78cc65e095 BagSubBag Set0 TypeMismatch
bf0ad18161697688e55959bbf10dac0785b29960 BagSubBag Set0 TypeMismatch
0852ef310252a5870bf502e0b245725391ef7ee9 SeqHead Set0 TypeMismatch
12bc39d9fa5e3f863b503ef4e0bd04222c0f5013 SeqHead Set0 TypeMismatch
4d94835511afad2a4cb9d79d8709bf31f24337aa SeqTail Set0 TypeMismatch
0891a73097651518328884e55f4dbfb300924217 SeqTail Set0 TypeMismatch