Index

Skipped feature combinations by case feature Fun

Id Case Feature Plug Feature Skip Reason
3683ea076c139b9f5648ce5ac21ff32753cf83fb Fun AndProp KindMismatch
30119d37bcb1f3fbbecdecc5c5ea8bf26f49d774 Fun AndProp KindMismatch
a4afeae7ec742e6201de500ea838d14604e2ae48 Fun Boxed KindMismatch
ab65da4ad008d72412fcc43cefdb279781cd6437 Fun Boxed KindMismatch
fdc854c89c85c2c44160177bfcb3a968f69e305e Fun Set1InDef AlreadyCombined
cf4d9b43bdc524fba823f0c645fbcff8114aefda Fun Set1InDef AlreadyCombined
bdbcffda0c144cab27ebbc7d4b5e7497ca233e09 Fun Set2InDef AlreadyCombined
0d67e3cc2a04152e69bb22e78ba98c36be85cce2 Fun Set2InDef AlreadyCombined
c5945956644f48ee6028c6774d384fee06544366 Fun InDef0 TypeMismatch
fcf108464b3c63e83e72263a10567a03bd8fbf1d Fun InDef0 TypeMismatch
6fb0aff27a488dfc198b5d98d6f7d98e54293221 Fun InDef1 TypeMismatch
1f19d5ef7af0bab20a21f172fd40fe4607b2e4ff Fun InDef1 TypeMismatch
5a44ec600d1ac2a1cbaeadad5eb14b748ba3c38b Fun InDef2 TypeMismatch
0657f993fd9224234c718b15cf9cfed8b7d2d71b Fun InDef2 TypeMismatch
fcaf556cd912f75318e5a97fa9b3590902632b47 Fun FunInDef AlreadyCombined
157d1636e8cc50c9da2724d76c25648813a6be35 Fun FunInDef AlreadyCombined
be106d1992243ede3bf851c9e40adc24d3a44962 Fun ExistsInDef AlreadyCombined
f1c3f6d9d9adc6e7b6b1d2f4f99bd481488b1878 Fun ExistsInDef AlreadyCombined
e6c951e9e273cedec1fc5ef7634578fae358e7e1 Fun ForallInDef AlreadyCombined
cd604491ab9acbefeeb328de384cbc1c6727c186 Fun ForallInDef AlreadyCombined
738e96ef8ce3514fec07be40af417b5bc701d7b5 Fun ChooseInDef AlreadyCombined
aeca7dc6a4103ae0929a8dc8130fd05103f5d24c Fun ChooseInDef AlreadyCombined
52f1c1e8b5420f8a389538876fd89ea3b86e46b6 Fun Except0 CanNotBePlug
3b92a2bec6af0b81a866d58e9befe5d0b366a3af Fun Except0 CanNotBePlug
41a780f1e6e2607c46f5599b7c390f0cb95e089f Fun Except1Fun CanNotBePlug
c6757d9224f460c1d023c507a3314ab203616217 Fun Except1Fun CanNotBePlug
2e8c2920e68afe571fa2e8c5f1263a0003c6b299 Fun Except1FunWithAt CanNotBePlug
332bd3355c8d19bfe882da2edfd93f719835c705 Fun Except1FunWithAt CanNotBePlug
5e1ea8a599ba538b0654d03b1354605c6a1486b7 Fun Except1Rec CanNotBePlug
8da7d135139ecaa64959be47ea2142fd7f7f9433 Fun Except1Rec CanNotBePlug
8065721790b92c6fb59779740f647c947ad332ba Fun Except1RecWithAt CanNotBePlug
36fe6d734577816bb2619bcdce9219aa4ad1af6c Fun Except1RecWithAt CanNotBePlug
7672c5a2e1f2ee46935d59df671bbd2cc945a120 Fun Except2Fun CanNotBePlug
590eeeb31c3f0e8377efc1699f2347b23e3371aa Fun Except2Fun CanNotBePlug
d27b5ad4d460d5a6d3cb434d1a7b9b5123ce2932 Fun Except2FunTuple CanNotBePlug
faffe3ac175a431d6244538549224522dbd32f81 Fun Except2FunTuple CanNotBePlug
1b19dc8f70b5977c8de559020d520cf48217836a Fun DefFunInDef AlreadyCombined
c86a50e2922ede7fa9edbf64c489b615d349b45f Fun DefFunInDef AlreadyCombined
d77adf7e85e63776310c9b8fba45b6f19b20ff15 Fun LetDefFunInDef AlreadyCombined
40f95f30f085ad3adbb2126ff25e0565fb879f63 Fun LetDefFunInDef AlreadyCombined
6f14b60d046b98a3bd1821a8253f79b0a26a5211 Fun VariableViewExclude VariableExcludedFromView
12581d48be989686b4ab0ebd2a5ab9f84f9fdeab Fun VariableViewExclude VariableExcludedFromView
5bb7ad66dd9c8f30e552f5cc849b20881ff84708 Fun Assume AssumeIsNotEmbeddable
43fe5f6a3fe3a6542e53ad6628a946e87dbad02e Fun Assume AssumeIsNotEmbeddable
fd7df609af4437a6254c9c62b942656e4f5eeb4e Fun AssumeNamed AssumeIsNotEmbeddable
66a121c864458e144dd133e720ff42b45879eba8 Fun AssumeNamed AssumeIsNotEmbeddable
b84f5cd425e7cdca789c746be48d178320ac19ba Fun Lambda TypeMismatch
0585aa7ec67c6831014eecd6e7980fa6f7013bbd Fun Lambda TypeMismatch
638b8047418d34ebdbcc2603559b39a2e0c29284 Fun SeqSeq TypeMismatch
2e67e1b30d293567fe75d651c37854e9839962d7 Fun SeqSeq TypeMismatch
24fb381411d5f077b658fa34c35a4234a6cc18ca Fun NatSet TypeMismatch
92a737a9945e6683114410461fa5595e4066010f Fun NatSet TypeMismatch
d74d338ac985773827b1bf971d47e0c43fd40c6a Fun IntSet TypeMismatch
2c8f6fc1fb06257594c1f5b9e97eb3390956dc4c Fun IntSet TypeMismatch
e540e06639b2c81509c7686f4313084f76c7f674 Fun StringSet TypeMismatch
7f89c90c6ec30cfa03c4f1b12d3e5895189de0c6 Fun StringSet TypeMismatch