Index

Skipped feature combinations by case feature IfElse

Id Case Feature Plug Feature Skip Reason
d94950ab254d78712c0720a48d61b537cc5871b3 IfElse AndProp KindMismatch
5aa0b0d6beab96c0afa790611b6bad3bf8fc6368 IfElse AndProp KindMismatch
df0367204f3fced4b60d730bc7ff0670b82f2f97 IfElse Boxed KindMismatch
f9ea514b9c7b567def53740aaae7357f49992496 IfElse Boxed KindMismatch
d59e6d35583e6a712ed3fbbf0e29400f2472623f IfElse Set1InDef AlreadyCombined
3a68ed38250b39ecfd94c2409bd6a9b0125a472b IfElse Set1InDef AlreadyCombined
8889a092bfd4bb79a9e28453a31a50edda6d3c96 IfElse Set2InDef AlreadyCombined
6bca5bcb2ff7d07c4fbff9efd979107d83096b2e IfElse Set2InDef AlreadyCombined
6bc254cc353fb3e0db3fe22e0c60ef4ce31c36c0 IfElse InDef0 TypeMismatch
ee4b5c72a7ccfb370eb1f0f51e8388c868b8f231 IfElse InDef0 TypeMismatch
59274f8e54ff175454af969b8e1c8ec3d9b7b2fe IfElse InDef1 TypeMismatch
97f67510f46a10cf22beb3f0d886b78bd93c09ae IfElse InDef1 TypeMismatch
1439b362bcd6c4a10b5863812434826ad468b327 IfElse InDef2 TypeMismatch
db17d33176af63c1d78312fc3378a81bbcf90dbd IfElse InDef2 TypeMismatch
d466ff723f07527bef0fe58c451e43342af5a80d IfElse FunInDef AlreadyCombined
d6aa7f85526b7525b598e7fd7ff27246ff5df129 IfElse FunInDef AlreadyCombined
81489a6f1734c019c8d1b4719a2ce4dfae032fb7 IfElse ExistsInDef AlreadyCombined
0cfc4d6e9352a402712c12fa41b90cc9486a9a6c IfElse ExistsInDef AlreadyCombined
7df363e37d2abc5c294efa4ec5d7e4ce5328b79b IfElse ForallInDef AlreadyCombined
a4c4cfd6eccb8b8604a0896de54708ca05e97ef4 IfElse ForallInDef AlreadyCombined
7cec6fbb155fd7db408e2ea23b0f8f778595f341 IfElse ChooseInDef AlreadyCombined
0462701d5a06dbf2d708a9995049b71e036ef763 IfElse ChooseInDef AlreadyCombined
aa66af5f56d7c00b23426dcada46ac754c17ee98 IfElse Except0 CanNotBePlug
4e377e395c161218a842ae6408c346d28db8fc13 IfElse Except0 CanNotBePlug
8b1462d41d2ee1cd1c580dcbdbc775c665288238 IfElse Except1Fun CanNotBePlug
1b02aa2d9b01c73de63735a68887c7fc97d36fbd IfElse Except1Fun CanNotBePlug
53d4c1cff56e54ae1394d7862b462b88d71d0315 IfElse Except1FunWithAt CanNotBePlug
402f310c1bb7a72cbfc9e303878d51b38f271e33 IfElse Except1FunWithAt CanNotBePlug
7c5326bcb522a12e2e4715f6a0145361110fe837 IfElse Except1Rec CanNotBePlug
a80bd1948f821124314f3481a3d940d187198636 IfElse Except1Rec CanNotBePlug
e7c11899094cc5679967c92ecda3c5e050bb92dc IfElse Except1RecWithAt CanNotBePlug
8ceaf2009a198fcc3f31ae72751e1bc233e6f5d6 IfElse Except1RecWithAt CanNotBePlug
045787a80f2776bffdc03330d5b19a3f5636572e IfElse Except2Fun CanNotBePlug
b98a7707ad1f158b90ee6b7ebe44bfbcb577a8a5 IfElse Except2Fun CanNotBePlug
6e3e831a75f1cc92d981f7fb43dbc3a01ea5ab7f IfElse Except2FunTuple CanNotBePlug
0bba6787220914aadb900486c12a5abb78bcb93e IfElse Except2FunTuple CanNotBePlug
5ca8ea6365b19f1ca9e160c69f6d08c9cbbc3c30 IfElse DefFunInDef AlreadyCombined
f8286d86baad7e015b15fdd13326d29f676f35f9 IfElse DefFunInDef AlreadyCombined
c2b8dd8ed24bac7b91feed5182daeb1d11860bad IfElse LetDefFunInDef AlreadyCombined
5bc71cd9284b478f35afbc379fca536c241ea2ee IfElse LetDefFunInDef AlreadyCombined
3af54745706ac19a9bd4c94e58372c3b98ab586e IfElse VariableViewExclude VariableExcludedFromView
ddc647451ad3f405958ca4de5d17a268f487dea8 IfElse VariableViewExclude VariableExcludedFromView
404cca9d4e93e493f8336c434cbef8e8d0a1c3b3 IfElse ConstantModelValue ModelValueCanNotBeUsed
e7f7637e318cec69abf117906a144e19f4c01436 IfElse ConstantModelValue ModelValueCanNotBeUsed
23b2cf86d06d0b730fd1a6b4acea66c849ac3704 IfElse Assume AssumeIsNotEmbeddable
c6858af4c6f111f820e5f41b041b1c88feec5924 IfElse Assume AssumeIsNotEmbeddable
fd5f2eab3958182112dc43a5630222e71926fb67 IfElse AssumeNamed AssumeIsNotEmbeddable
972474f0f6affd1eab14eb2562c1efba73578b5c IfElse AssumeNamed AssumeIsNotEmbeddable
51c76822a197852969f600f7a6f97d51b86afaa6 IfElse Lambda TypeMismatch
c6cfa72c478cf03dbb2f8ab0bb80aeee30267c05 IfElse Lambda TypeMismatch
c2418d0565b1304ee004412a9703827d316ce997 IfElse SeqSeq TypeMismatch
e26b9ca71a1bc4d8c48737b9881fef7187ad0cef IfElse SeqSeq TypeMismatch
0fac76c5b59185f6c1c66fc2626f0b8d7f5028ad IfElse NatSet TypeMismatch
199025807874270b609b4a5dd08e3ab9386caa73 IfElse NatSet TypeMismatch
d0dc2e23448f9b100120873d7c572af1b9d0efe3 IfElse IntSet TypeMismatch
cd046011ff18626755f85415596db46986542f2a IfElse IntSet TypeMismatch
11c345b69266556f517476e1c74ad252fdda1e41 IfElse StringSet TypeMismatch
4b1b0c190fd1772796ab042ab5cddef7f6d16df7 IfElse StringSet TypeMismatch