Index

Skipped feature combinations by case feature BagCopiesIn

Id Case Feature Plug Feature Skip Reason
b94b55f8f2f7ede0130272e3a892b9c85da45bea BagCopiesIn OneLineComment TypeMismatch
4425f5731edca3172c4a71780a7e90cf88df2f5a BagCopiesIn OneLineComment TypeMismatch
0ee1420db13195165fb8d72886d5dd2ff3b561a9 BagCopiesIn MultiLineComment TypeMismatch
dec4ece3cc520e1b6425862092205a80d70c26bf BagCopiesIn MultiLineComment TypeMismatch
3374963e4de7d8faedf032c1f5552a29b1efe760 BagCopiesIn AndProp KindMismatch
2fdef83457900a1d1d3acc19bd3f2644566e80b3 BagCopiesIn AndProp KindMismatch
ba750d39b14f1e234136cebb68ea84e7bc0c4f79 BagCopiesIn Boxed KindMismatch
fad4a27066860cfd131d5674be05af390eb3a82d BagCopiesIn Boxed KindMismatch
08d86ab9b944beb7586e45558c8074665661cbac BagCopiesIn Set1InDef AlreadyCombined
9e4c7625ddc5b9ab6be1e604cf7a6577d5c44813 BagCopiesIn Set1InDef AlreadyCombined
3dc91c71841df10dc900c06d0d00201bcd181c55 BagCopiesIn Set2InDef AlreadyCombined
cbf7690c315119ce7d3e7ebca30466572806bff9 BagCopiesIn Set2InDef AlreadyCombined
c2f3eb33b639bb836b1ac5f18c798452fb7f5449 BagCopiesIn InDef0 TypeMismatch
a905c68549974d4aba2a29019384c25a500c9083 BagCopiesIn InDef0 TypeMismatch
4fe45ad3fcb9f9d8827d1ba7f99137c8a6f9a901 BagCopiesIn InDef1 TypeMismatch
627c428982188514ce4994f5d06a10d6fc16a184 BagCopiesIn InDef1 TypeMismatch
08a617fd6db8bec4c1cc2b05d8a0a0684ad3e92b BagCopiesIn InDef2 TypeMismatch
b747af658711b7c0faba66dd30462f9abeeb667f BagCopiesIn InDef2 TypeMismatch
db79bfbf76c676bd41a92082dc60d64578c3c987 BagCopiesIn FunInDef AlreadyCombined
dc5c0b758b0357b4b309e643d4c8272559544710 BagCopiesIn FunInDef AlreadyCombined
72d5bf8daf1deca028d91755f70cc55451f39d0b BagCopiesIn ExistsInDef AlreadyCombined
a0afdde747240ce0f93dadf4332f49eb98b4dd38 BagCopiesIn ExistsInDef AlreadyCombined
ebb1e30a49d379539106a9a1fcefe8115447ff1b BagCopiesIn ForallInDef AlreadyCombined
fd5330ac832ccceff04bf00c896b27a991617575 BagCopiesIn ForallInDef AlreadyCombined
98c9d8e5863daceafb9c527ac56131d8fc000457 BagCopiesIn ChooseInDef AlreadyCombined
450b0fb965de9e5afba600c3932a17e2d964a74d BagCopiesIn ChooseInDef AlreadyCombined
23dc2d1bbfe1ddfc0110b218aff983e425eedfc7 BagCopiesIn Except0 CanNotBePlug
d36810d2cfe75365506362204168ca02d02f8b27 BagCopiesIn Except0 CanNotBePlug
e2b63ca3ae9f610d8acfc8c8d026b6bb8c9245a5 BagCopiesIn Except1Fun CanNotBePlug
458391bc860c1e2fd4a764a3921249b092d11e4a BagCopiesIn Except1Fun CanNotBePlug
fb1b95830dc5ffc55259d94fb3473613aed15c68 BagCopiesIn Except1FunWithAt CanNotBePlug
0e8239df3d5c08eefe9e255d111a37aaab967391 BagCopiesIn Except1FunWithAt CanNotBePlug
c60f0de80ab953f8d18908682b8453c74ef43275 BagCopiesIn Except1Rec CanNotBePlug
46bbaf275aae91393b691ccd450b7eec3268a280 BagCopiesIn Except1Rec CanNotBePlug
5c8f9fdd46c832e4920aab4e106809468dd4a35c BagCopiesIn Except1RecWithAt CanNotBePlug
fe19f534940ead32be4baf2011c85969c109f942 BagCopiesIn Except1RecWithAt CanNotBePlug
4436b83d26fd44576c7e34c8169e36a58427c3ef BagCopiesIn Except2Fun CanNotBePlug
212798a2a5c5c1fa0a36addefd3cd57c8e82a70f BagCopiesIn Except2Fun CanNotBePlug
570941d8570ae98681615ee9ecd19d0e16a46928 BagCopiesIn Except2FunTuple CanNotBePlug
f21d4dafc5ad4936cc79823ba7dea7d39dc88ef3 BagCopiesIn Except2FunTuple CanNotBePlug
d025da8814ba25a8b6ff7a7856860bdc635fb75b BagCopiesIn DefFunInDef AlreadyCombined
bf46111ea2ffeb85ba1c0f25da89888bf52742be BagCopiesIn DefFunInDef AlreadyCombined
0c3159d66f97e2f6770b19cb968386af96377ee5 BagCopiesIn LetDefFunInDef AlreadyCombined
93b04564473862726f58d6886eb3401c07ae8cd4 BagCopiesIn LetDefFunInDef AlreadyCombined
67f2378d31e02e091b547f1e8b1229a27246b53b BagCopiesIn VariableViewExclude VariableExcludedFromView
86e470595eaf66a3f1a6bcd421d17eccf9d0cd07 BagCopiesIn VariableViewExclude VariableExcludedFromView
f2e5237e13766f184a958c3810437908a0e1a593 BagCopiesIn ConstantModelValue ModelValueCanNotBeUsed
7cea7c0ad3d165a3cd2ea772416ac03a679c9520 BagCopiesIn ConstantModelValue ModelValueCanNotBeUsed
f05b5e3f16d0f8cba05205901e56dd56461afbab BagCopiesIn Assume AssumeIsNotEmbeddable
b5d9294e493575589d6725d8b58f05f716f60d97 BagCopiesIn Assume AssumeIsNotEmbeddable
c2f5c19045b60fa7ca4a2be9b35b9f08888c1b8d BagCopiesIn AssumeNamed AssumeIsNotEmbeddable
6387a65314d101750d0da15e2629a3ac50b132eb BagCopiesIn AssumeNamed AssumeIsNotEmbeddable
d6d57078063dec36325f99bf79b836673b7a840d BagCopiesIn Lambda TypeMismatch
670107a6f3150aed642b2a792a59339eb870e418 BagCopiesIn Lambda TypeMismatch
b045099d41c722c82d249754dc69452e2f14e943 BagCopiesIn SeqSeq TypeMismatch
eb27f06cf855061a1ec541f76e9e974b1af9f8d8 BagCopiesIn SeqSeq TypeMismatch
3a4d245d75fc8f0a39bed325c058e54e73649c42 BagCopiesIn NatSet TypeMismatch
442f1cd5e8672e20a20c51da1e5606890c147aa9 BagCopiesIn NatSet TypeMismatch
4bd7f5d8f1645d5f97ab6de63cc08e3cd670659f BagCopiesIn IntSet TypeMismatch
cf015b2a00f619acb20e794dad5c9d3bc56e745c BagCopiesIn IntSet TypeMismatch
3197a339ee0d5853982b70d9f9772b95c087aa73 BagCopiesIn StringSet TypeMismatch
7899e593cffa72239f51f98353b12280f14e5447 BagCopiesIn StringSet TypeMismatch