Index

Skipped feature combinations by plug feature FunSet

Id Case Feature Plug Feature Skip Reason
643b4f0d6f9720649cd09debf304ed173a79a4a5 OneLineComment FunSet CanNotBeCase
1f137cb10e34c01ade59ecc1ee41ddcb45728d49 OneLineComment FunSet CanNotBeCase
96abbaad0c1df546d2db6ed15e25d4f03fdc14a6 MultiLineComment FunSet CanNotBeCase
29b1cf644f49772a2e6df15a37c249c3d7494b70 MultiLineComment FunSet CanNotBeCase
17b4b72bd31bf7e0904a9b5f3444e537e5391a93 BoolTrue FunSet TypeMismatch
ac62c528e15404f28a294d8ee423aa853ebe4841 BoolTrue FunSet TypeMismatch
c8e723710fa413c49050aa8863fb1fc3c3b2755e BoolFalse FunSet TypeMismatch
e6419f56aeeb4566e4454ca5150ea30835007f6b BoolFalse FunSet TypeMismatch
bbc25a16b9997c483e594baad6703fc8732ab366 BoolSet FunSet CanNotBeCase
10b02796f951271ddf5e19d8cc68be2db90c07a6 BoolSet FunSet CanNotBeCase
cece9607391c05402b80d35a8fa4847f06bf3c64 And FunSet TypeMismatch
c084922faf9f1afa0761d162181130ecf58a5152 And FunSet TypeMismatch
0b768a31c396f4b7ddb71726ab7f692067eb091d AndMultiLine FunSet TypeMismatch
f3d05c38f0713f8d6aa0af27b41cf6844dd8779c AndMultiLine FunSet TypeMismatch
2bb6e2390d97a8b3f31d8ba510a63df1580e99ec Imply FunSet TypeMismatch
f705588cbea098b38a5883af0f0cdaf88babbcff Imply FunSet TypeMismatch
98268bc1172ca45c1ef034e2a3bb6e3a67e632d2 Not FunSet TypeMismatch
af4e9b6aa6f2f41fe98f693d868a53f5c73fa31f Not FunSet TypeMismatch
03bbb8be4351a5b268cf48acde4d714ba2f20895 Or FunSet TypeMismatch
8e70431777d63810c36ec82f7a4bd0d3b2873ca8 Or FunSet TypeMismatch
92399bc06dc8702181d0918130b0b37cb673b0d3 OrMultiLine FunSet TypeMismatch
b65814f0ac96eb5a35b7bb4845ca11bf67fb5c80 OrMultiLine FunSet TypeMismatch
7a7d6c670b9ce7040d9472743f8ff866801eb7a2 AndProp FunSet TypeMismatch
b7cb7d5d55c5d202895e1dbbb26e1241a8b7aa47 AndProp FunSet TypeMismatch
f930e0c7802c2544bd28672b80d6c0fe003aeb1f Boxed FunSet TypeMismatch
757e36bf6ef8b6d095b3b4c8d5d0f6fae3bb6046 Boxed FunSet TypeMismatch
bb1814971c5422296f14943dc04632a8456559aa SetEmpty FunSet CanNotBeCase
64dd302549e0b26d9374754ae333289c8a1924fe SetEmpty FunSet CanNotBeCase
b9334d4aca7a446d0cb28f62d7944be139e58e5f Set1InDef FunSet TypeMismatch
3c9056067b54f08f4e372f2ada744f1317a4b6cb Set1InDef FunSet TypeMismatch
5c0af76cded16843b3ae666e090957bc4246bc85 Set2InDef FunSet TypeMismatch
90f8312edff3083f4e68bcf2ae0012b19843c4ad Set2InDef FunSet TypeMismatch
224b544567fbfd3b2c00d3409dda6905a8ddb7a0 InDef0 FunSet CanNotBeCase
058d160982b0eeea99a5bb0afa5b75e2ec14ea8d InDef0 FunSet CanNotBeCase
d7e4e7b4fa5dae82344d78166f326e313cbe291e InDef1 FunSet CanNotBeCase
7d0e81f4f8e99e82be2d98dcfc05d590a73ba088 InDef1 FunSet CanNotBeCase
f580fe4d069d42a05f4e487c32c8bf27ea92be3c InDef2 FunSet CanNotBeCase
6e1963fd4e38b3fa0d8224df2b37331651687725 InDef2 FunSet CanNotBeCase
7218b97f29c0e611ad5cbca9f3aa5f66b5c26ab8 FunInDef FunSet TypeMismatch
c63a32aa006c4d576c4baaef9ba618b27f37041f FunInDef FunSet TypeMismatch
d94f87b174ff30c192c3a24cc6e882c3e02616c1 Exists FunSet TypeMismatch
acb024d21435772873ed845fd3676afd3693924f Exists FunSet TypeMismatch
3f6355c4d3b7195c6074dd943a59d9ee04f47d43 Forall FunSet TypeMismatch
dcf71232c46a9af22e09f5eca7b60ff3844ac63d Forall FunSet TypeMismatch
5e6246bccf13bb531e01e4367fe944dabe1617db ExistsInDef FunSet TypeMismatch
c6464e5d838c5ca4570849f94ed948831072bbab ExistsInDef FunSet TypeMismatch
b8347af31b90152f9e501076e0095dee03bcefc0 ForallInDef FunSet TypeMismatch
9eba3e0d85723b9c541a4395145a10af42472463 ForallInDef FunSet TypeMismatch
fbe5da4a07bee171e9f6135c1fd7f4cf7293d017 Choose FunSet TypeMismatch
7da973bc0db95d7c59a51aa7582a1de493cdc4e9 Choose FunSet TypeMismatch
6757901c168bd4bddb6f6c10509b5b24aea2bcc9 ChooseInDef FunSet TypeMismatch
56e5b49db0ddb88f6341a3d62f736fe469e7fd4c ChooseInDef FunSet TypeMismatch
5177a8bb9dfb34c6d36ebc0001ceddec2d334bb1 TupleEmpty FunSet CanNotBeCase
c3421a16427713e047618f02f25024e4f44ac811 TupleEmpty FunSet CanNotBeCase
1cb4ac0c539fad85ae16c0d673b9a1ff45c7c158 Except0 FunSet TypeMismatch
5d16bd37e9e43ee4d1e2e498cbe933c68270d403 Except0 FunSet TypeMismatch
2423445efc2e387c78e4ada08abb093cb423af60 Except2FunTuple FunSet TypeMismatch
95252aae490115fa1eb40a0a5ea5a35a8715f388 Except2FunTuple FunSet TypeMismatch
1c08b8b8fa3bb1f519a1b0b874573e86bbe8941f NumZero FunSet TypeMismatch
cd3e2fdbb7463066aec7ae7c0c7f2986a4c295ef NumZero FunSet TypeMismatch
31a013d2ffa01ece79eba5d38913ddfa0ee8e914 NumOne FunSet TypeMismatch
293711f2f81adcf662b017fc1c4d7ed6cdad80f3 NumOne FunSet TypeMismatch
d0a732044042cfb54756419f44f00fe55d87653f NumMaxInt FunSet TypeMismatch
711502bbdd2696ed03c95efb799d2d7279f9fea3 NumMaxInt FunSet TypeMismatch
3c6e9b314e71da483934d2e7e761228a533be185 NumUnaryMinus FunSet TypeMismatch
91a099867d5554d2e98082fe89e9e0b846165d1a NumUnaryMinus FunSet TypeMismatch
dbcfb75b983ba47debedd495bd63ff9add8d8067 NumPlus FunSet TypeMismatch
6ebc6098fcabf49dc19d5591be5e819ae6f5ee34 NumPlus FunSet TypeMismatch
9397d4da9c31a27bb666b7c30737dd713b1114e0 NumMinus FunSet TypeMismatch
a2f8164fa4822499e8cc8403b59769e51bbffa69 NumMinus FunSet TypeMismatch
d669b2b1aa22bd609fb202ad721e6d5ece399f33 NumMul FunSet TypeMismatch
2a994c9f7b51f230667b8f15fee58cef9fd121df NumMul FunSet TypeMismatch
879b73f12746772132eefc2ebed43e930302a0db NumDiv FunSet TypeMismatch
80e9c75fc7a3a0a73850658d55944f4f22a625c4 NumDiv FunSet TypeMismatch
75ee468b7eefb2b908b893f65ff364ce29c34910 NumMod FunSet TypeMismatch
5dc96f20381384410f94a6d9ce721fc40c53222f NumMod FunSet TypeMismatch
4c838016d090a5f16f9951cf385f426f6b0b1bba NumPow FunSet TypeMismatch
e204df416403fcabe5848356582c2328226b60c3 NumPow FunSet TypeMismatch
e635f8613723c2493adf59dce6abae5596561e33 NumGt FunSet TypeMismatch
cd69fbab5fe44a1d3ca435e6fcbbfb49de47d04a NumGt FunSet TypeMismatch
a31c6bb738854ae1301e2882f4f23632ab49953a NumGe FunSet TypeMismatch
e66e9e0fa5b0b4cbaa27b72cdb752f7c4c036cfa NumGe FunSet TypeMismatch
a8b4d10bede4aaf06e3d28a7f397f71bb82b9df4 NumLt FunSet TypeMismatch
250d994dd1296d89b635a02f63818c9e134d8547 NumLt FunSet TypeMismatch
b69cd8730b646d05e5a5740d0e2d3e581cb36ca0 NumLe FunSet TypeMismatch
682e9ca3aeb535917a0c8e9f0189fa60ef12e6dd NumLe FunSet TypeMismatch
a4f0dc132e4073aa64c7c0fdc9ce509066ea995b DefFunInDef FunSet TypeMismatch
2cce432ad34f01fd5e39e3bdb838c551f772618a DefFunInDef FunSet TypeMismatch
4791faddcc9fb99a2d813d7b6ac25e90b2b261c4 LetDefFunInDef FunSet TypeMismatch
29f8e38eae7bdcc57babc20fc7ae723710122613 LetDefFunInDef FunSet TypeMismatch
c8b1dc0f272c59fe929b75996268ba94a74ba24f ConstantModelValue FunSet CanNotBeCase
d6b6beb987bdae037ebbdb93d4983fe042b4b07d ConstantModelValue FunSet CanNotBeCase
ff16b941db14d997608721138e8817e1a72c98db Enabled FunSet TypeMismatch
5bb261f77d503b8bed8e1082b7190ed7084b909a Enabled FunSet TypeMismatch
cdd5ab1157107747c3e99e0beb2b2d080b492df4 Assume FunSet TypeMismatch
ca21d4220fa62d68742e2acb1fdad051b1de0d3d Assume FunSet TypeMismatch
b800083e05c2c5e05586ae59eba35b3a97dfed74 AssumeNamed FunSet TypeMismatch
273ac3ee95ad4d9558ca8a1a5e42cc209c1940d1 AssumeNamed FunSet TypeMismatch
2ab9fce5032b8781ce33463752ddc721340d5663 IfCond FunSet TypeMismatch
61713d31a75d3b515fb9b0d2a9f4bc2456fb86fe IfCond FunSet TypeMismatch
730669fcb9920b1fe3db456894df6d38655b00d8 Domain FunSet TypeMismatch
df70d11957270e11ee7d368b716ac4a64cc2bb87 Domain FunSet TypeMismatch
d2bdf7841315f33a4d5b7c938b30751578dec400 Union FunSet TypeMismatch
bfbdd12f957681c80c9b4d9c32450322fe2bd611 Union FunSet TypeMismatch
fd809a688263ad761387b66734d339541a94ece0 Equivalence FunSet TypeMismatch
94d53dac2e4754ff22f4fcea2fcc37474d32968f Equivalence FunSet TypeMismatch
eb6d5e5da1a189a60290937889945f3ea2dcb486 StringEmpty FunSet TypeMismatch
bfe76fcac413a389be5ae79df953af738bac2fa8 StringEmpty FunSet TypeMismatch
22ea5aba795ed5cfc18145a185839ee66111c317 String FunSet TypeMismatch
58f8a97d1e048a4284ac89d64ff8813af3e49fbc String FunSet TypeMismatch
b8a7f500dc1bf6d7a07a3f83ade1adb4494007de SeqLen FunSet TypeMismatch
ae93b992477afcad1e55c8d8565e4e13858b2996 SeqLen FunSet TypeMismatch
0b9370b8d3a264d4654e5e6939c55ddc187a2ff3 SeqConcat FunSet TypeMismatch
60c72635e13d3e1a7cf5835f2d41f885d5322472 SeqConcat FunSet TypeMismatch
d6966f67b215c4ab9ed81eaa22794e95c9323980 NatSet FunSet CanNotBeCase
30e2caec32938cc36e08dfac87c32789caf9531d NatSet FunSet CanNotBeCase
abd000dafec116fba2fe783b2b70269738ee2aec IntSet FunSet CanNotBeCase
ea57ed28d2a5424311ff0cf0f5f2eb72504407a4 IntSet FunSet CanNotBeCase
f9d4ea08eedbba39ddd15c4eeaefdba8f35cca56 StringSet FunSet CanNotBeCase
6150bd31a3f37c7e1830aabea376a2fc3a4ebc35 StringSet FunSet CanNotBeCase
4ab63d871bd9e66a01ad397c86fbd06bf023b28b SeqSelectSeq FunSet TypeMismatch
9e2c947307e6fe2bb88ca175322a8bfa3f19d3a0 SeqSelectSeq FunSet TypeMismatch
135bf99a390c0b5335d398a530c790ffe0a2fe65 SeqSubSeq FunSet TypeMismatch
f6af7c2b5b96b53da8307b8e06cae08142790029 SeqSubSeq FunSet TypeMismatch
24f4fccbaf0f67d3e54cfce943f086cb8ecc403f NumRange FunSet TypeMismatch
c3a645eaed8ecc862ee8808280bde5e55d8cd996 NumRange FunSet TypeMismatch
8baba80b3a9d0274eb4b3c9d7d6cc06972227b4e TlcExtendFun FunSet TypeMismatch
4139bd63d1e7c495ee644bc5f4d0c488c55c6345 TlcExtendFun FunSet TypeMismatch
abcdc5ee4073c9190af3a38f10d64bb7698f3209 TlcSortSeq FunSet TypeMismatch
141a133c7f2d1825f5a9aa38da81576b714ce08e TlcSortSeq FunSet TypeMismatch
102dbef2458c17fe588e5d7f69ceb35d365bd15f BagBagToSet FunSet TypeMismatch
cd3f34df7f7c91ff4acfad7c9b9da8afb815fb8a BagBagToSet FunSet TypeMismatch
c66c845af14a2cdaeb7499ed74360bb1377c9741 BagEmptyBag FunSet CanNotBeCase
8b947a50db282552e3cc3e4c8295d2e33a006f3a BagEmptyBag FunSet CanNotBeCase
dfd579364e61499b013f79a1fb2c6e82470c060c BagAddBag FunSet TypeMismatch
74334a97edb61e40beea716ee623355dee6feeb7 BagAddBag FunSet TypeMismatch
074870c607847d9be8855e2fbf6130eec8b9f254 BagBagSub FunSet TypeMismatch
6f2a408d30f0b59eb7b9545f431b56f322272bdf BagBagSub FunSet TypeMismatch
24ca46634bdcdb69f815ec482db55956d79f7a2a BagSubsetEqBag FunSet TypeMismatch
346c3d95ea7bcc6c1f545909f968a8d920b90958 BagSubsetEqBag FunSet TypeMismatch
3eb8a1ab0834b1594fdefbe540920248ac6f68b6 BagBagUnion FunSet TypeMismatch
36d864d074c97605d3cab07a3861a5a093dc896e BagBagUnion FunSet TypeMismatch
5d89604b6ddba0b200b5a9b9feb3ee8d6f7fc5af BagBagCardinality FunSet TypeMismatch
4c7e13ccd9236d3a595bd20b0eb8de280dc212d7 BagBagCardinality FunSet TypeMismatch
4dfefca8d42e57671a442a2a01276aa23efde633 BagBagOfAll FunSet TypeMismatch
27d2befae95e1fd1418b6e05a23ccd8400b4c470 BagBagOfAll FunSet TypeMismatch
dacedaac2fd1c361900ef24264ddaf24d67ec428 BagSubBag FunSet TypeMismatch
b24419f7bfbcefd249ed732e9e1f97b7bce83e79 BagSubBag FunSet TypeMismatch
045df29d3ccfa5d556a6d552e572dd28bbf017ad SeqHead FunSet TypeMismatch
9678be62f7e35c5d7c07168269ad6f1f4bba49f0 SeqHead FunSet TypeMismatch
5a10ad8cb6c0fee8aef083fc9c41f537ba3e7fb7 SeqTail FunSet TypeMismatch
47b530c4bd24e5032a32bc765304ed573fa7a689 SeqTail FunSet TypeMismatch