Index

Skipped feature combinations by plug feature Set2

Id Case Feature Plug Feature Skip Reason
75eb2495064de9d58ac339315d6d1c17d01feebe OneLineComment Set2 CanNotBeCase
39fb7d0be7e600f161b1b62a20ccb6f8ad826dfe OneLineComment Set2 CanNotBeCase
6f9577b19744b2db07790d2cbed1c68fc9ee1588 MultiLineComment Set2 CanNotBeCase
bdfec7e720a516edd1bed21c3e6eff8caf8e0b30 MultiLineComment Set2 CanNotBeCase
3c54a2f54fce5539be378d02f1e434789c7fc16a BoolTrue Set2 TypeMismatch
c4e72238f4ad177e707eec351ef6aab21dbdc39c BoolTrue Set2 TypeMismatch
1bec4069efd5fa8476384327b5ea6bcfc320967f BoolFalse Set2 TypeMismatch
6858f13ec676f6e29ee676fae1148ab4b39ff6dc BoolFalse Set2 TypeMismatch
b444d6ed0ca1cb8b49bb613aca36314e4b9cdbd6 BoolSet Set2 CanNotBeCase
dc2f3588468494dcf73679e929404235c64d44ff BoolSet Set2 CanNotBeCase
c2dd44ab6dc34e4a8950915c6fc77d6a5d63a8d7 And Set2 TypeMismatch
e44bf04c59a8aeda8f0b0b84c66be453d8086814 And Set2 TypeMismatch
b7fe62dd8dc62a89213ec78e4e77a4e1bc0aebca AndMultiLine Set2 TypeMismatch
45a246d881357b02f76b6487a44c99acb45ddf91 AndMultiLine Set2 TypeMismatch
6116dee3a73de6b378bfc023bc0e3c3a459ed4c5 Imply Set2 TypeMismatch
f86873ec676e1429eb109ef2f5087b69e2f9bdbd Imply Set2 TypeMismatch
dacd26ed65bd5a93f7911edafe465743f227acf9 Not Set2 TypeMismatch
f7c4968f43362f5eb8b51814d56d7bd9ff58124f Not Set2 TypeMismatch
43f0bd66ad5b23784056ccd6030b09c5814d4cd0 Or Set2 TypeMismatch
8d0005522e1f12dbb3f1ccb60220e37944fd6bea Or Set2 TypeMismatch
0113b38f68db4ae1173a7c867e32f707c2c88e6a OrMultiLine Set2 TypeMismatch
f3f7dbda03bfb7f9f9479c5d7cddac5660fae27f OrMultiLine Set2 TypeMismatch
b71864cfaf36971b38f81dbe946f9d9eaeb81806 AndProp Set2 TypeMismatch
65c38bdb069e79d66db005da32bcb851e374f1b1 AndProp Set2 TypeMismatch
65651da6297cbe7a1eac7e1af7ebc9a45f16140b Boxed Set2 TypeMismatch
03cdd472357c5d366cfb5f20d8c5a63e599acffb Boxed Set2 TypeMismatch
bc2bfbbf5d3445b8e3cf5ebe7977d6cf380eac62 SetEmpty Set2 CanNotBeCase
175537fcb5cfe5a6270154e6775110b576873ec3 SetEmpty Set2 CanNotBeCase
eb2d7b0e15e4aa0adde746742aaef2ef53e1b66b Set1InDef Set2 TypeMismatch
f9c5c3facf8fb995d83c9df2069bffcae89a7da2 Set1InDef Set2 TypeMismatch
9d20456645bfa701c0d33821307181c80606b93d Set2InDef Set2 TypeMismatch
345a38d1cc2eb2b0359aacb0306b7ae89b1f1995 Set2InDef Set2 TypeMismatch
94327ce5bd122978097f27ba1c01ee9637569328 InDef0 Set2 CanNotBeCase
dc9b2644b9923762bbeba94c65e42365a70c7044 InDef0 Set2 CanNotBeCase
cb963d4d69411e9bd3c90704fe8334609d31afce InDef1 Set2 CanNotBeCase
ba12a92d56910983e4824efeea57b1e3f9854ec1 InDef1 Set2 CanNotBeCase
7c855095369fc5791af306208f22f30fa3b17aa5 InDef2 Set2 CanNotBeCase
ba49c5b83272681d8923eb947a08c9742c3de307 InDef2 Set2 CanNotBeCase
8dd7f5f29797bb82033217dee98995bcf496c20d FunInDef Set2 TypeMismatch
8cc764312ff2645f75476abd852fcfa40e0dcb62 FunInDef Set2 TypeMismatch
aa7289ff60d15e387e9fd76f518b4f378e160dca Exists Set2 TypeMismatch
2b8dbf7702d92d2fe25d7ab102c581a574996dfc Exists Set2 TypeMismatch
f3e797fce08f2742c55bf0aef7f1fe1205a99567 Forall Set2 TypeMismatch
b0052fc036bda996198fe0fe3c807dfe41f5a647 Forall Set2 TypeMismatch
0a3b2213ffa2acc2740c3383fe5fd9fdaa043a52 ExistsInDef Set2 TypeMismatch
98bb4ebf24de1e3db38e8ee78a87e732d2830735 ExistsInDef Set2 TypeMismatch
ffc68ae7a5bcb97cb2d4595c084527b2b174f235 ForallInDef Set2 TypeMismatch
05f2f2ab94520411c2e5fb662ce85028571e64c4 ForallInDef Set2 TypeMismatch
652b5566b5d65bd358e191fcb6446036944cc29a Choose Set2 TypeMismatch
fab324556a23cc6db5bccea159f42e381862b525 Choose Set2 TypeMismatch
d13a516d6448f037f765eb28bc428528e4b387fe ChooseInDef Set2 TypeMismatch
395062226946405ce94435d0303658534afedebc ChooseInDef Set2 TypeMismatch
cb79e74a99c51210718d4b4cd8df3d13e24b08d4 TupleEmpty Set2 CanNotBeCase
49d0a2d7b9bb808596bea557f65c92bab430ee98 TupleEmpty Set2 CanNotBeCase
84cab9ba0fcb108c5a1308f8a5868375887f5cbf Except0 Set2 TypeMismatch
feed4c8239c8b243dc1cc0bcc66bd6026b0dd602 Except0 Set2 TypeMismatch
2160a449f7399144c09a296c7ecac93f78ef7626 Except2FunTuple Set2 TypeMismatch
6f8156e769293ae8ebb1a39966892d1346fee7bc Except2FunTuple Set2 TypeMismatch
37b5ecb70747abee96ee604d1a867104520eb8fd NumZero Set2 TypeMismatch
9c5fb085ce1f5cc5b6dbb666980b8b21d90d5b7d NumZero Set2 TypeMismatch
97ad47622084993f2fbe0d8f947876e1ceab1db5 NumOne Set2 TypeMismatch
aa8b16e64b9f7bb206f2d9d3892bdaed899b03a5 NumOne Set2 TypeMismatch
0c51d1fe19ae9d32ce22c8fbfe3c8d0313ed3af6 NumMaxInt Set2 TypeMismatch
9b20e9268b7d91d3785bcef165451c337c923e21 NumMaxInt Set2 TypeMismatch
2571c01b6d3116bec85a501752b287c04350e04d NumUnaryMinus Set2 TypeMismatch
efd40f5d8cf47e291ec83335863d2c2566c1a9e1 NumUnaryMinus Set2 TypeMismatch
b8ef8230509f84bef29733e9a56297d21a2b45f6 NumPlus Set2 TypeMismatch
15ef3e251b9f4ef774aeb1970dc55f050d8513fb NumPlus Set2 TypeMismatch
293c7c0dd81e28314d21d2c79de21d8638517321 NumMinus Set2 TypeMismatch
9d4e60b8a4a0c1158469ba12667d6374af432204 NumMinus Set2 TypeMismatch
8b55608bee85f142b0fb9090f9f1b7e089bf9005 NumMul Set2 TypeMismatch
637f48b760faf86dbe9602c556f4f3ce3cc66f72 NumMul Set2 TypeMismatch
719d69a0ef27dd6c6af4a6c58507a6659e2e2db2 NumDiv Set2 TypeMismatch
210ddc739151755b82435fe89695b3dd54e5b448 NumDiv Set2 TypeMismatch
7bffefb40d5e21d5eaa3219a5b045607364a8634 NumMod Set2 TypeMismatch
00e958dbf175f8d805e4efb09ca561fea55d2182 NumMod Set2 TypeMismatch
594c2ba934a246c88d2932d51d54936a193945d6 NumPow Set2 TypeMismatch
d5bd6b06c26303eef9f791398752a7da674cb83f NumPow Set2 TypeMismatch
235874e8f75accbe527a5ee42c5dbe225ff1a2fa NumGt Set2 TypeMismatch
562bfd831146b2ec9af71772b79825745ecb9673 NumGt Set2 TypeMismatch
719c2ce9714b3949915a26ed31a6c52ba1a529e8 NumGe Set2 TypeMismatch
edecd9cb439ef99b76c7cdafd3864e9a801547fa NumGe Set2 TypeMismatch
e80c0e3ab153bb5ca6d6993ef19be388a96cd323 NumLt Set2 TypeMismatch
e71144a33fd50f87c0a28025b4fd1ed935dc4f30 NumLt Set2 TypeMismatch
8ab9a849fe8ae1cf7ea79233634811e21533bd3e NumLe Set2 TypeMismatch
12d61c30b26e944c67232ff2f0ade1b30bacc83c NumLe Set2 TypeMismatch
d53d68afd1b852958b80d0e9613678df90582544 DefFunInDef Set2 TypeMismatch
69ee6ca5a078f656ea65d065adc82f55fb3d3124 DefFunInDef Set2 TypeMismatch
d66f2d8fc284c41cd3a2811b7e3f3719307a52b6 LetDefFunInDef Set2 TypeMismatch
23260e164422298e8e1c5fcf368178e13106dfac LetDefFunInDef Set2 TypeMismatch
c2077714ec843c99a011a657e325b63e61ed0885 ConstantModelValue Set2 CanNotBeCase
4b22906af9ed74052479073ff754045412f5efe8 ConstantModelValue Set2 CanNotBeCase
0e8f668336c9f6042d89b2b9caf98f687d2ab86a Enabled Set2 TypeMismatch
5766ce6f847951723878c1e72afaf8347d988d53 Enabled Set2 TypeMismatch
a1a31f0b9525ea5135fbc43616e9d269643ba137 Assume Set2 TypeMismatch
16928648a205aaebbe295260336e5afd9854ec3b Assume Set2 TypeMismatch
15b012a727cca4f0505fbf7ab99c38f107669749 AssumeNamed Set2 TypeMismatch
3fd086e820a27b9720b07518de483a1d22bccab6 AssumeNamed Set2 TypeMismatch
70a1332141d0835c15fb77c818a2cc86f3021ce7 IfCond Set2 TypeMismatch
98de0e60cd2beaec17a28a94be8ac4e09ffef010 IfCond Set2 TypeMismatch
f721cbca651d605658cc93acf3a19b1c94ec6545 Domain Set2 TypeMismatch
968e64b8e4aa71e17209b8c3daf6f9be5e840fa9 Domain Set2 TypeMismatch
551b6ddf10c0109bb368200e56f55bdc4a427980 Equivalence Set2 TypeMismatch
67ebb21fbe8bc55e9cacb581b03f3f17d3af0259 Equivalence Set2 TypeMismatch
da1393484bd6511159cf11c38a7597e251faf091 StringEmpty Set2 TypeMismatch
602705c9e38ba7cb528e06329e6382d224325884 StringEmpty Set2 TypeMismatch
66cd756bda29a9c691c9866dd1355b0634acf0c1 String Set2 TypeMismatch
9e328bd27feb88d6e53b4ed403bd76ca3f36a1e4 String Set2 TypeMismatch
e278d54ecc26c9034cfaeeff00d5b63214d06cd4 SeqLen Set2 TypeMismatch
a100343f81a60d717671dcb92b34c3bccdd5a576 SeqLen Set2 TypeMismatch
115de16c8a336735adb6a544491a3240b6f5c1ec SeqConcat Set2 TypeMismatch
7d6032d74e0b141ce77c89e8d0f2770d67bae21c SeqConcat Set2 TypeMismatch
8a74c1daf304fd1c0a7e87cdf514c7368cc32615 NatSet Set2 CanNotBeCase
9737730cc73df62093da2503734ec4fd3fb6e75a NatSet Set2 CanNotBeCase
f45498921baf040452d1dca2431306641e9b7d48 IntSet Set2 CanNotBeCase
039ab7007421b7d529e9d046fceaceee9d1130cc IntSet Set2 CanNotBeCase
880ade1b8f04af8ec8d4ece801b23b1f20389076 StringSet Set2 CanNotBeCase
2e3aab981a58e30e4488e106ebc2435f81f49da4 StringSet Set2 CanNotBeCase
39458e40fffd5c25979022d809657d5b8756a2b9 SeqSelectSeq Set2 TypeMismatch
c63a4cf0b107d962e1ce443a0b7723113dc1971b SeqSelectSeq Set2 TypeMismatch
c16fc4be4d6649f62e86d643cf6eb73500111b39 SeqSubSeq Set2 TypeMismatch
99edac1798c8fe55eb00c7db2bc8c2f780972047 SeqSubSeq Set2 TypeMismatch
38aed9239ad89dc5715086c99e9d054e0fe0381d NumRange Set2 TypeMismatch
a251f572ac6dddb411d8d293f5390bc8d21ad15e NumRange Set2 TypeMismatch
fa0c12fc0769b7b1b8517db3b41dcf95af9268dd TlcExtendFun Set2 TypeMismatch
c1e6e85eb535ae5eea7313d891413ce5863b75b2 TlcExtendFun Set2 TypeMismatch
f1e5972976c8cfadd760071c83e81894432fc4dd TlcSortSeq Set2 TypeMismatch
128d9f6b66d42db6ecfa4ffdd91b057cc8f0982a TlcSortSeq Set2 TypeMismatch
26b9de5c7ebc8a332798b9b84ad16678441f5521 BagBagToSet Set2 TypeMismatch
99cc1e2dcb404a7813780044891398e9304368cb BagBagToSet Set2 TypeMismatch
2d443aa20ff121a2ff644200d6d96e7db76494fc BagEmptyBag Set2 CanNotBeCase
535b7b9007d9c64c81fe695f73a5fec125b94dbb BagEmptyBag Set2 CanNotBeCase
cb93cb69dbbe0891e4f6de05b8ec08703ccf3507 BagAddBag Set2 TypeMismatch
4838d0145366e152338a223f94de36273f0730f8 BagAddBag Set2 TypeMismatch
3625134ffae7a9372e1ddede77e58c6277f182d7 BagBagSub Set2 TypeMismatch
35f1e7838c17e25ac14356f972c33d4c839f851e BagBagSub Set2 TypeMismatch
13b7970f9abcd31b7de704b13f1256f71bb8ba67 BagSubsetEqBag Set2 TypeMismatch
3c3b047b453570ae0a27556c044c85e5c2f38d3f BagSubsetEqBag Set2 TypeMismatch
8821dc728fa5a502f5e24dbded496c3863136f8a BagBagCardinality Set2 TypeMismatch
cbf103ce9c12aa1d85954476c7cd6a0fe6662487 BagBagCardinality Set2 TypeMismatch
d474b7fe6fa4238f1b05dc79f8634155ec1f408a BagBagOfAll Set2 TypeMismatch
9a26d480d0b3ed62693640f5407de8070dde5957 BagBagOfAll Set2 TypeMismatch
715cae687bf8a9daf3f5e44b987bac67c95f521a BagSubBag Set2 TypeMismatch
fc9ec3e36af0648ccf98b54502d3e2564388c2ea BagSubBag Set2 TypeMismatch
430a34aee7a6b74257d07cb7eedaf0341210bda3 SeqHead Set2 TypeMismatch
d4d26fff47f21b1e58de2506b28edae402549a3f SeqHead Set2 TypeMismatch
e2f661f6429c209a6f094ea0418f09ffb1a2cfa2 SeqTail Set2 TypeMismatch
8fda6fd25e11ca24ba535e7310cb34413e63e121 SeqTail Set2 TypeMismatch