Index

Skipped feature combinations by plug feature Record

Id Case Feature Plug Feature Skip Reason
bbb44c6769eddaeaa1ec349ea2c4eb1a770821ad OneLineComment Record CanNotBeCase
8df2082904c63f1d6aed5b22285474b14b246aef OneLineComment Record CanNotBeCase
da50d411bc937e0dfc8b275d3cb9ad40388b5b90 MultiLineComment Record CanNotBeCase
0330aa36da3575f6674cb498e96230aa0d8c6de6 MultiLineComment Record CanNotBeCase
b6bbb85b4e2144f4b6fbb28211baff8de734e287 BoolTrue Record TypeMismatch
5bcb8e6f2b8e98abcdcca10d49b5569630cc430f BoolTrue Record TypeMismatch
f70788055a7d9606140908bbb743c542101f41a6 BoolFalse Record TypeMismatch
8d4ec86f2e09b5295d2e0a6618311e3c4088b84d BoolFalse Record TypeMismatch
6127756f8b81780bdc2a400a5ee51b836b7ccaac BoolSet Record CanNotBeCase
3805c16922bacdd742e48a0a7f6a72e287793a2c BoolSet Record CanNotBeCase
54b36e6c9616e9bcff2b11728f1764c48a781a1c And Record TypeMismatch
6ea3a1d96334e846d803e0ad61ab2432d227d4a1 And Record TypeMismatch
853f172f2b44bf2b16766397995d65d3b78d2261 AndMultiLine Record TypeMismatch
340d6aa6a94f27bb22d1d59b65ecc98df373e62e AndMultiLine Record TypeMismatch
59b2e2978804528125902d34f6770608a31b9f48 Imply Record TypeMismatch
7507f0bd5cbdf0e51e4efa03d274b30d1c348ce9 Imply Record TypeMismatch
a0aed519baaa5c336d8f07d729fd584d308cea25 Not Record TypeMismatch
2eeecce21a3fc3110a8b4a8de0fdc51dc630ee8b Not Record TypeMismatch
08aa96426599d90d5e4957a50dfe0009df6d056a Or Record TypeMismatch
41d7da93251c005e21cd96bbf4eaec19dcf634a1 Or Record TypeMismatch
4eca104a26ac4375bb814737ab777687975f1451 OrMultiLine Record TypeMismatch
44fbf67e2e4abbcb5f19d6ec0271d1168783362b OrMultiLine Record TypeMismatch
91872fe946e7a9fdbf32e01046ccb9a0f5bd69e0 AndProp Record TypeMismatch
23561e220076da33d5feed55a0f46150986886f6 AndProp Record TypeMismatch
b33417917dd43f0e8244a2e405c1a840747fcf60 Boxed Record TypeMismatch
97c34660b9acda5edbca35234e0efd5c46a09da7 Boxed Record TypeMismatch
2fda2623534b15b131c658e1d6024df0aa74ecbd SetEmpty Record CanNotBeCase
4073e11cf39cef9dc44d5644ec21dffedd5bb882 SetEmpty Record CanNotBeCase
bcd611f67433b919f25c4bbbcb30c5c4cc2d886c Set1InDef Record TypeMismatch
403dc565ad2d06548b7f1cbd921d88cb0fd88fac Set1InDef Record TypeMismatch
a147c7a8991fb6f371b9760ba38e96ce109baae8 Set2InDef Record TypeMismatch
9b2b5c86403d38bb6a49fa9fe3b0a0ed44ca7f76 Set2InDef Record TypeMismatch
add29d12186d4829aed1eec74377108e5992565f InDef0 Record CanNotBeCase
ecc0ac210c6941ff95d6dfa6012c93403b096683 InDef0 Record CanNotBeCase
52a6c20908c13e8e1430e6df0c4f0b8734e6232a InDef1 Record CanNotBeCase
c9299ea93a5418bced7274524a49a5eb916287e0 InDef1 Record CanNotBeCase
386758c4dc0143eaea80bed04d5c5c133974b5db InDef2 Record CanNotBeCase
302cc1d56d3ce7b2042847b08ddec4c50b514d93 InDef2 Record CanNotBeCase
efff1977761ae8cc3e7eb5f80a3e93de8fc6fbf7 FunInDef Record TypeMismatch
22eb79cb39b4fc5a820433eb631b4cdc8a544097 FunInDef Record TypeMismatch
a5f3f5b636270155c771b80b6b3c3d1dadb5ad79 Exists Record TypeMismatch
ad78e37c553709cb3fc6eca22ac86b95f47fa5d4 Exists Record TypeMismatch
2e0f62966e2a2d44ea99c2c9c5a6ac8906e19a1d Forall Record TypeMismatch
1422a2c20ef56fd87bbeb8477be0a34b964460c7 Forall Record TypeMismatch
5e9ce8d77b8aa1e79ef590f69cadfe2eb450e972 ExistsInDef Record TypeMismatch
2ef2001ab7905e530fea483a83675a9c3118d1dc ExistsInDef Record TypeMismatch
849c7aa5921d96b63f4bd3d8dc99a1331d52c034 ForallInDef Record TypeMismatch
4c3fc4881ad949c055ca84af69497b011b386742 ForallInDef Record TypeMismatch
558dbdfe57924fe62b4a6fd12b255a20ecc97b23 Choose Record TypeMismatch
ae4cb05abc09ff9fb1b7167be049307b06d6e4bf Choose Record TypeMismatch
6cfbc9264901becbd13ef612c821f289449d2fc5 ChooseInDef Record TypeMismatch
d4aa67e8dbd0b382491c19e69ebc1db0210aaae8 ChooseInDef Record TypeMismatch
f030b4d81fd95a5548bba436d00275a40b5c5d0f TupleEmpty Record CanNotBeCase
aecf282c06bd5db816e900d3e93068fa1b4ac999 TupleEmpty Record CanNotBeCase
4b30b1cd8420378203d80448144a24c33dd39025 Except2FunTuple Record TypeMismatch
c3015c6f60a7fe762bb04234064e07f8d8c361cd Except2FunTuple Record TypeMismatch
e79efef6ddf06c11497a6b7d09d20aad438f392b NumZero Record TypeMismatch
010a9b3c413f888a46ba92897dd36646c1f174ca NumZero Record TypeMismatch
879bda82ebd1e9664cf0ad4753a84a9b99ab59fe NumOne Record TypeMismatch
78d3b378ab9b150838bab2a4d5547a057af950f1 NumOne Record TypeMismatch
53edb6d764fd90dca0acf6d0889fbc43b4499f11 NumMaxInt Record TypeMismatch
7839673e78b20844d01fc5534fa3dfd36e68e873 NumMaxInt Record TypeMismatch
69aea7868999f01d12398e26c63b6383ad9d0ad8 NumUnaryMinus Record TypeMismatch
8b2836c70cf6330ffe4c2ca9d93fd982f5196276 NumUnaryMinus Record TypeMismatch
1ac2209e01105b4e563a358bd85aeb415a9bd084 NumPlus Record TypeMismatch
1ea17858efd59915ca143548f6601109063b4683 NumPlus Record TypeMismatch
4c167b7a88b259fd88e6202884fc2e226933a4c9 NumMinus Record TypeMismatch
9660bd0fcd72da6e55671cf18c122b61c20dfa44 NumMinus Record TypeMismatch
23747201b5ae7e01994a170083b91380802773f3 NumMul Record TypeMismatch
ce719cec6fea443c28d31c76b1492b68c85a14b0 NumMul Record TypeMismatch
1ddfa5153aa171dc205b263c9d2f1864d158ac97 NumDiv Record TypeMismatch
1c829e207c0e008858883db5e2f32b7a8625347f NumDiv Record TypeMismatch
8d424158bd7f1b66a1bbf19df9eb45800dc0af7b NumMod Record TypeMismatch
5b4bdaf482a02d286ada8647e8d3a3ee1d87732f NumMod Record TypeMismatch
36d7f5870db41a3d138e0658ff85f2eba04cfe5b NumPow Record TypeMismatch
8ddb0cfc91b557e76741e53ecc6c1f7196e5b35c NumPow Record TypeMismatch
a6f694539f080276475eac9ede3eeb0364b1f718 NumGt Record TypeMismatch
fee11e22d04d0739fb538ee9b677440d94ccb00b NumGt Record TypeMismatch
26876154283eb0b5fa5e861dbfdec6f0ef198d2f NumGe Record TypeMismatch
aa43c5d199676d4d38d11da373cb0e6c839f02cc NumGe Record TypeMismatch
a613928f281db157e91887035a1769c173a71b51 NumLt Record TypeMismatch
be1e6afe6e4b7ab6e69b3b1eb760c4c34cdda533 NumLt Record TypeMismatch
e9667d0b3f755f530a834cc43fa958f763f0ec48 NumLe Record TypeMismatch
b6b370b0d5cb0f81ccd10c13a621f6a1758c8ce4 NumLe Record TypeMismatch
f91e571396139044c542c8c393ef61ec7bf5f663 DefFunInDef Record TypeMismatch
395097cade8d04599599823ee49ee13c5544fc24 DefFunInDef Record TypeMismatch
db70f2fd1db8063585b396801bafd158c60e9c27 LetDefFunInDef Record TypeMismatch
3412d959781091b4ba128b514c1720fef3611c0f LetDefFunInDef Record TypeMismatch
e6135b0cd563aa8e6fd73ac085f5d70e026dfe6a ConstantModelValue Record CanNotBeCase
e8c4e00ac7bf05f0a52b604f32520622df4e6634 ConstantModelValue Record CanNotBeCase
a206910ca2055e2277acf0bff5a2d846d61858d7 Enabled Record TypeMismatch
ee9d84f7a9d78f94d3d4db84c99670c1b0d09e20 Enabled Record TypeMismatch
cfc53c2b2af9f7cc3f57662dc3dfbee9bb67f4a1 Assume Record TypeMismatch
6b0f79f6ce4ecd9baf4a19cf3b12f6848e76ebf9 Assume Record TypeMismatch
ece9731012036faf85c4e5ccc257ec17e87beb24 AssumeNamed Record TypeMismatch
cf188198379524914d5900da7a9e4bcb3e8263df AssumeNamed Record TypeMismatch
df6bff9cea928d4b1e4d74e0cc9a0f8e330f181a Cross2 Record TypeMismatch
0603709c4b9eb78f18878ba60b12db023712dc7a Cross2 Record TypeMismatch
a78f834cd237fdbb32a3cd02e2f6fc43aaaeee35 Cross3 Record TypeMismatch
aa0361cbce332b4056a631ddf3dca90c1329f9fe Cross3 Record TypeMismatch
20a33bbbcf5efa621b9c4a253cccbec9a2d68287 FunSet Record TypeMismatch
0da1e56cad7fa89b50801d32a7cd2c5f0da6e27d FunSet Record TypeMismatch
73ace2760e37dc837cd77188dbc7e3ef7f5a4aa7 RecordSet Record TypeMismatch
f926fea3c7151af98658e691844fc83e98617b03 RecordSet Record TypeMismatch
2f13b12ab722d778518683e2d54dd11f82168666 SetDiff Record TypeMismatch
9aef5c34d25ed4b391d9a2c254d5d2f688c841aa SetDiff Record TypeMismatch
93f091fe71090dc6ba4817753c75324265f41f15 SetUnion Record TypeMismatch
37b403f9d78ebcb7f8a3a73b75033aaef0b36d78 SetUnion Record TypeMismatch
e55b90de29c59903705da6f68b5a7fc9d6ffcc9d SetIntersect Record TypeMismatch
99a4236abe377199065d78175fb8a71de206336e SetIntersect Record TypeMismatch
b22c5c9d3022bbeaa29f463a3a1922da6d82f744 SubsetEq Record TypeMismatch
d757b8c458ee0c370bddb256fbf6c51394964ff4 SubsetEq Record TypeMismatch
9c2d80aad0316f7be2000675e3d287be24982738 IfCond Record TypeMismatch
f3f8b4a5ac10308ff16b42d847a12a383d250b45 IfCond Record TypeMismatch
d2817fabf711eb6de58c2fae46624a71a263ad19 Subset Record TypeMismatch
7800a5a7c771c6e08268f2f7d28d429197aa8fca Subset Record TypeMismatch
36247a8daef4fa18142c47853a569ae84e5c5852 Domain Record TypeMismatch
745270dc582c2784e81a3997f858159af563dd42 Domain Record TypeMismatch
3dd3fc9a3e0bc5ed1effe7469107249e019023b2 Union Record TypeMismatch
5f798173d81bca686945b6230ef49a79edb6c392 Union Record TypeMismatch
449edea634138f3e286bfe0d08cedd70033b91cf Equivalence Record TypeMismatch
9267a150eea621d05b7251afb3be967d9bc9c1b6 Equivalence Record TypeMismatch
156a666fd2af4db562237a9baca56733577b597f StringEmpty Record TypeMismatch
219f0422e6c861aa5c81975909ac4b061c52f79f StringEmpty Record TypeMismatch
04f67be6ac8b23a86edaed03c36ed45f5e53d65b String Record TypeMismatch
efb2f2e54ee5941b947ba89992c882f1fd265148 String Record TypeMismatch
afb8021f958dea2b79aea61838959be0da9dd845 SeqLen Record TypeMismatch
e321c3607debad6be45c8b990c027f8510291036 SeqLen Record TypeMismatch
bef04fcd6724668610308ba716ba85d35be5f2da SeqConcat Record TypeMismatch
b3312a48e1472cf27d1c7e63e6e8db60d809a161 SeqConcat Record TypeMismatch
a2b1093116b83c810ea8387613cf70b4c071593c SeqSeq Record TypeMismatch
ebb4ef8123562db74d9d4de279c50458fb2c93da SeqSeq Record TypeMismatch
4e8b131c21afdfd2022766ac9c7a483216b03eca NatSet Record CanNotBeCase
685eece91d81bbfb90e786856d1b17c327bdb260 NatSet Record CanNotBeCase
a767eead987e694d6a3489aab5f695b5d145c045 IntSet Record CanNotBeCase
54884f7897201471bcee6d8822a6745f9b9bf0da IntSet Record CanNotBeCase
c2c2be48f36bad705aa9d694bdc65c7eeb7aa114 StringSet Record CanNotBeCase
883778ef03e497271fb1b0c5a9ab39ea4dd5f949 StringSet Record CanNotBeCase
852777cc25655dac0d6f1cbbe4f78258225204a9 SeqSelectSeq Record TypeMismatch
5abb2a56ad97c65f11785d539b7efae6edeb9f73 SeqSelectSeq Record TypeMismatch
11aa101a80c1231970e41da1ce97e29ebe4f1856 SeqSubSeq Record TypeMismatch
60a8c87c163c65234c92f14761548341f7b8a002 SeqSubSeq Record TypeMismatch
c114518319f08b864fe94ca6633a16cb42cf4ad7 NumRange Record TypeMismatch
7880c42453987c533b970e791b8b220102126875 NumRange Record TypeMismatch
275e96eb6eb3b48a0fc94e4c6aa8160326dacdbd TlcExtendFun Record TypeMismatch
3d8a819e5c7129e82dc8751e01d20d313b156ab8 TlcExtendFun Record TypeMismatch
6a376ad6678fce71f33732e26038b6a4e54194d6 TlcPermuteFun Record TypeMismatch
535ecc8a4a3897d77d70348a8f984f8edc910ce7 TlcPermuteFun Record TypeMismatch
b4abc023bfb0a8f0b2c1150de20bc1963aedf290 TlcSortSeq Record TypeMismatch
65ea2b7abcdcd64ae5d89620db20f85ba235c085 TlcSortSeq Record TypeMismatch
30c5a41fc33e508dc6e8149b9d90312f2efa706c BagBagToSet Record TypeMismatch
8f995a868dc8e61b309e556cc6699c883df38f6f BagBagToSet Record TypeMismatch
de7b7260768b2d794e617f85a3c04039afe62b28 BagSetToBag Record TypeMismatch
fd957f8b196934d500f8d140c3692848ea58adc7 BagSetToBag Record TypeMismatch
22f2dbb4ac00c395c2dd7560f7583f30afb665c3 BagEmptyBag Record CanNotBeCase
2a760d83b3f2f75e36c3788ab29ab2bd0ca5babb BagEmptyBag Record CanNotBeCase
07468a3c6a542a1e0c681b197c1ee5086a77c788 BagAddBag Record TypeMismatch
f66f26e51e198d8b46bd32911a42e6b6730ebb6a BagAddBag Record TypeMismatch
3b7e7d54499353c9122098ed6a72ae27b7355f18 BagBagSub Record TypeMismatch
678669fccc0b5c14ad090efaa1c43a38198bcc77 BagBagSub Record TypeMismatch
f2a2f4019028b30e14ab68e1b57b7798921fe6ac BagSubsetEqBag Record TypeMismatch
9d97e37df5ca48fe0abc0cec12ece0ac096113e9 BagSubsetEqBag Record TypeMismatch
3081a0121d8325a414eef551bb186a71eb96a8bf BagBagUnion Record TypeMismatch
7d5d08c698f3c8829959de346bdd08a5ded178f4 BagBagUnion Record TypeMismatch
e00aad11cde8deb05e6571d768fdcd72e838701d BagBagCardinality Record TypeMismatch
86fb626ec30fe7e7fb98ee462f840b8b4b16f9c7 BagBagCardinality Record TypeMismatch
919370fc8cd9223ed2d2bdfe30e97497679cd685 BagBagOfAll Record TypeMismatch
819c95e48387b459f838c2b85409ca56414b035d BagBagOfAll Record TypeMismatch
f3500d406f830fdae604a20f5c98da6b456380ad BagSubBag Record TypeMismatch
23336c07fc0cb6691ce161e41bc7a7ec3a455d13 BagSubBag Record TypeMismatch
4a52cd26d96b9903bbc1a4250d114bee35bbf2c0 FiniteSetsIsFiniteSet Record TypeMismatch
ac19b16ef99fb8df40f8c4e6ba0dc8dd1d4e6663 FiniteSetsIsFiniteSet Record TypeMismatch
c6df7733b534c407500545f436f168f5323aa9c6 FiniteSetsCardinality Record TypeMismatch
dc205bd15aa5f786292ba6bb76264cea2d54dcbe FiniteSetsCardinality Record TypeMismatch
8c843c3bb310b33058831a35c767f1fe6942ed6f SeqHead Record TypeMismatch
e79ca8a5d9161576751c164831db92f66c6b91a4 SeqHead Record TypeMismatch
a1755ac2bfc818fbeb7a08c213b80f5a5f33482b SeqTail Record TypeMismatch
5bcd362c84f3c8330f0d7571e3c41c3e2cbb233e SeqTail Record TypeMismatch