Index

Skipped feature combinations by case feature BagBagIn

Id Case Feature Plug Feature Skip Reason
d76c8a4d7ac0911143ef164af2bd1f5f9414bd1d BagBagIn OneLineComment TypeMismatch
7031743caa52d32cc6ff4fe92982bed16b8361ba BagBagIn OneLineComment TypeMismatch
b3660722d65ddabb9437c6c7c3a723a08ae4a618 BagBagIn MultiLineComment TypeMismatch
da5a0173d2ad9e075bf1b6fa1d910a8500eddc27 BagBagIn MultiLineComment TypeMismatch
6c33f2a55e2824b350022a93f249017df02968a8 BagBagIn AndProp KindMismatch
269aa10a1dae6e3365895dca5025da9ad3909452 BagBagIn AndProp KindMismatch
14159cb750e78d2c7b6143848875d12b3de9749f BagBagIn Boxed KindMismatch
e66dba91c586a7fa6d8223d9cf2378d591ad4598 BagBagIn Boxed KindMismatch
7bd46736a464b30ae2eb8ae3c37933ab4bf7e8da BagBagIn Set1InDef AlreadyCombined
12ff75de541703ca0854a03d5940c170262cfa91 BagBagIn Set1InDef AlreadyCombined
36f255fd4405e9bcb3f4f64dbebfe8213026b599 BagBagIn Set2InDef AlreadyCombined
5bd340877e77106f4c35a8483cd728476a4296d3 BagBagIn Set2InDef AlreadyCombined
e42a187f445643a4856fbde12b2cd7837230d53e BagBagIn InDef0 TypeMismatch
90d3391b1d347d9fec36c8b73a1aaa1294f5990a BagBagIn InDef0 TypeMismatch
e7b6d1245641fd86291677ce0d754a6a62cbe921 BagBagIn InDef1 TypeMismatch
061390536e9f9ced02d1dc798a18d26ade265d9c BagBagIn InDef1 TypeMismatch
04142117968b58ad74810919b2037598e69c8ce6 BagBagIn InDef2 TypeMismatch
d006dc973b9dea4264e84b254de34cdac3c3c589 BagBagIn InDef2 TypeMismatch
084328ef9ec90715cd4cea9d79532e81ec028548 BagBagIn FunInDef AlreadyCombined
2e8f72f6568903c23652fc4e674cd3e48f17e17a BagBagIn FunInDef AlreadyCombined
4874e9a890d3370d10f1e5266c04f0737e7300f5 BagBagIn ExistsInDef AlreadyCombined
ff86465c64ad457e68e6dafda0bd221934f1c872 BagBagIn ExistsInDef AlreadyCombined
d4127ec56c8d50408355cff042b44a6b708aaddd BagBagIn ForallInDef AlreadyCombined
f70ebe98cc7b2d0d6bdbf792c45b4c4645cc671b BagBagIn ForallInDef AlreadyCombined
e618693718d491c78082c9f1d9bcaec5bd9dc072 BagBagIn ChooseInDef AlreadyCombined
aa84fe4e61c8e963d762d050dd85d3440d45c2ba BagBagIn ChooseInDef AlreadyCombined
9d8ba826ecd564515702a0ff1f25424b15c4b2ef BagBagIn Except0 CanNotBePlug
09992979b3dc1a70616eb73894efa426f467fbf1 BagBagIn Except0 CanNotBePlug
6824047669e86fdeddeadf1bda33f6519c6a0c59 BagBagIn Except1Fun CanNotBePlug
dbcec6ea8d085b5b15ad2b4df208ffa9fc4bd222 BagBagIn Except1Fun CanNotBePlug
02ba49239323be75cf7ea8ea0ed0faa8be66d3de BagBagIn Except1FunWithAt CanNotBePlug
5938e57a5eae0ef8da8122b81a9ec423e95537fa BagBagIn Except1FunWithAt CanNotBePlug
2a0f9b69721fcc89258239caf1496a65d4bd6cae BagBagIn Except1Rec CanNotBePlug
0288e5b4daf2aa65300ccb2a2b6248421294e6bd BagBagIn Except1Rec CanNotBePlug
61eda275812efc4561ad8c3255b0a12b37560bc4 BagBagIn Except1RecWithAt CanNotBePlug
9695646fce02f47dc7daea9e881e7473053d3796 BagBagIn Except1RecWithAt CanNotBePlug
0d807a9ae2b9423ad1db060755baf56577a1a4a7 BagBagIn Except2Fun CanNotBePlug
e8b24c4bcee5e9794f21ed10ef7e0c404032ef37 BagBagIn Except2Fun CanNotBePlug
f0b4f2c7714afe2e1db60c8fdfdde1f09d352c7d BagBagIn Except2FunTuple CanNotBePlug
755ecaeaab494404ad63f11225d81328e4928df1 BagBagIn Except2FunTuple CanNotBePlug
bf875552fde9ab10d918042c9f90f4b3f2a56cb5 BagBagIn DefFunInDef AlreadyCombined
069c549cf26db6a1c8d49c5ed9857741b4916f68 BagBagIn DefFunInDef AlreadyCombined
986622ec3a1820a65f54e6064f4fa2bf3f976ef2 BagBagIn LetDefFunInDef AlreadyCombined
3edcaebd006747bfe028c87291cf0617abfd385d BagBagIn LetDefFunInDef AlreadyCombined
ff403da76769ae1c5603176d1a044d7d9b6197fe BagBagIn VariableViewExclude VariableExcludedFromView
44dc986effdbf1df1ded584cff8766c1d1c38363 BagBagIn VariableViewExclude VariableExcludedFromView
b45094a27b16b35afe03e44124ae4f865fb130a0 BagBagIn ConstantModelValue ModelValueCanNotBeUsed
d20b061c68f45fea208644f77e221c505bb3228f BagBagIn ConstantModelValue ModelValueCanNotBeUsed
5f767454f392aaf9fd41f4320a7f50434df249c7 BagBagIn Assume AssumeIsNotEmbeddable
92a9a4ea1e4a19d416ee450ee3da220854dd1dfd BagBagIn Assume AssumeIsNotEmbeddable
5013605fcb8509c9ca45f41f780ca3e22096eb77 BagBagIn AssumeNamed AssumeIsNotEmbeddable
7c0409b99341ba5920ccafd059feb29f9d51905b BagBagIn AssumeNamed AssumeIsNotEmbeddable
6720bd16923c75ce9770d2442907a4803271d594 BagBagIn Lambda TypeMismatch
7f3bc26e1c8274d2c28aa948d1cd9a8ea881763e BagBagIn Lambda TypeMismatch
636fd90bc31acd4fd55f95712f12949ccf47f1b2 BagBagIn SeqSeq TypeMismatch
5117361f7ed7b6dd9e4ddb78105d5524d80ee657 BagBagIn SeqSeq TypeMismatch
4b447a2ffd106ae994d09b2679639f4650aaf367 BagBagIn NatSet TypeMismatch
290f4eba1bfe34219a736ffed304f69469456151 BagBagIn NatSet TypeMismatch
55e645c4af17b3acbd83fdf5ff159ee22fa7e039 BagBagIn IntSet TypeMismatch
90f8af4a971772fa3358c3e4fe55cd71678b1822 BagBagIn IntSet TypeMismatch
4a8143e2328888625ca2a4b3a5ad1ddd51143b51 BagBagIn StringSet TypeMismatch
191caca58f0debc5f1004d13d86ac4a2f39746c6 BagBagIn StringSet TypeMismatch