Index

Skipped feature combinations by case feature Extends

Id Case Feature Plug Feature Skip Reason
5c50d1704bfa614c4e225335bf878192bb99d92b Extends Set1InDef AlreadyCombined
d0fc6278af15b9c962f61b7a6713210677c59f26 Extends Set1InDef AlreadyCombined
ebb4f9a90cb4a16970b1b32e7e2f41ba9c9e5ebf Extends Set2InDef AlreadyCombined
b4a84435fbba405634da0dcdab0d290b3bf748c7 Extends Set2InDef AlreadyCombined
3b04f6bf5418265696f4c09f990e0b3761697aa1 Extends InDef0 TypeMismatch
209cc978c83a23ed8d8fc587839555394305b618 Extends InDef0 TypeMismatch
855c11957eaaa072f59537e637570ec78e0abd2e Extends InDef1 TypeMismatch
b2c8286572f5ebac8b2c9c03110c3f3cbb816f2c Extends InDef1 TypeMismatch
18994882d3b730ede1693fcabf86093e846ee639 Extends InDef2 TypeMismatch
21fef886a0252f408e5641e7aaafe96a536021e3 Extends InDef2 TypeMismatch
5b4366d5e8730599b9291a2ac5a854fe3b57e32d Extends FunInDef AlreadyCombined
7789197f9194a0c6ee0f954922cf6ae8a4a79ff1 Extends FunInDef AlreadyCombined
e6c6b91b026aa48164ddf94ac8e9278dae0d8f4e Extends ExistsInDef AlreadyCombined
c1b4279c8de0e54575549ed2d063f4271a0e8cea Extends ExistsInDef AlreadyCombined
4a5bb817e42a978c51f9194e59d19806c2556306 Extends ForallInDef AlreadyCombined
6742ec0bdf0c89b22c99d25afe9bdf5e04dde530 Extends ForallInDef AlreadyCombined
057756d83393c70ff0bb224f3be3c931c0ba7705 Extends ChooseInDef AlreadyCombined
e80ee8ba44efb3663e156f85a781d13d10868075 Extends ChooseInDef AlreadyCombined
7ed2247463fda919e3de524561dd4588e001ac90 Extends Except0 CanNotBePlug
e5524acf4cc85c8f8cd839f3624de73258c527a3 Extends Except0 CanNotBePlug
06eef57b2da35b5a259737b2974fd72405520f1b Extends Except1Fun CanNotBePlug
6e63c301f1e23fd18c72ac52692673d574603734 Extends Except1Fun CanNotBePlug
a06af3e9a44266ace6fea60bf463279985bfdc68 Extends Except1FunWithAt CanNotBePlug
e20821da06f3d31adcbdb8ede786c7931f83de1b Extends Except1FunWithAt CanNotBePlug
d7d37d18415724e0de68f6d57b62db94032d5ad4 Extends Except1Rec CanNotBePlug
4cb3702788e29acc97623f25d1f1e3bff2469224 Extends Except1Rec CanNotBePlug
f01bdd1b89731681298578c6952f6d2d11d73169 Extends Except1RecWithAt CanNotBePlug
5b3b9864ae33de3c32bddf9a0a519f3033888907 Extends Except1RecWithAt CanNotBePlug
f53efef8128b8ac5b3f3cf528ba08c178d9aecf1 Extends Except2Fun CanNotBePlug
0b8821b40766e0b93378fd860716b71874313a19 Extends Except2Fun CanNotBePlug
1be89057dd3d4bc32886605678a64a495c4ffb09 Extends Except2FunTuple CanNotBePlug
c27975734cd0432f5b180e0a843d96f5593bac6f Extends Except2FunTuple CanNotBePlug
fad512216495aca16935d2f34bcd6a0883b82106 Extends DefFunInDef AlreadyCombined
d47cd906a456b346cabdd10a1ab024144d1984ba Extends DefFunInDef AlreadyCombined
b260c835275f07071bebb25e9943c4dffe3b5d32 Extends LetDefFunInDef AlreadyCombined
e7f917fb71aec9c936668a1122ac7d34fc7d2fd5 Extends LetDefFunInDef AlreadyCombined
9ba02645a246453d38eb966e33cfac25ca9de6c9 Extends VariableViewExclude VariableExcludedFromView
88199c7067ba0f830de112ca5c566a51575a99c4 Extends VariableViewExclude VariableExcludedFromView
bd456e3e740cf959787f8090a9222679915a2f95 Extends Assume AssumeIsNotEmbeddable
1996511bf86327eecfda899ed114d18722c1a29a Extends Assume AssumeIsNotEmbeddable
08820bf051ceb392b91271bb4f615c8b46ea22b4 Extends AssumeNamed AssumeIsNotEmbeddable
e2bf24379ad7d63855e6ac8013bead0b55ab5653 Extends AssumeNamed AssumeIsNotEmbeddable
6ac754e5dd0e5e46bf868261531ebc03e48738bb Extends Lambda TypeMismatch
ede66533fcec1665072ccb634c1a12d317fc8761 Extends Lambda TypeMismatch
7628b1c8ec4b6ca9309da5c76062889c1e873101 Extends SeqSeq TypeMismatch
072bd736f9640023286bb13206166f9fed1cb2b2 Extends SeqSeq TypeMismatch
fcda31e7be9f44c05647063c70296343616a0dcf Extends NatSet TypeMismatch
9944b7168fb0bcb94fa469d0dadb4ef96844d3c0 Extends NatSet TypeMismatch
c5b50f55d6f4d92b9d5385d3074bb2299dec1d46 Extends IntSet TypeMismatch
e14d3c6a4d3404ee74c106ca4ffee8032fc4f67a Extends IntSet TypeMismatch
ecbba94885f2bc2446edf0eadaae95f74f2919ea Extends StringSet TypeMismatch
5055ca9bd934a33ea74ae369794d159b61fab376 Extends StringSet TypeMismatch