Index

Skipped feature combinations by case feature DefFun

Id Case Feature Plug Feature Skip Reason
63d9100ff4e5b10a20b84680021e5224613406e5 DefFun AndProp KindMismatch
6e1ac0e463b2b8e2fd540ea317f6a1ae9fa60720 DefFun AndProp KindMismatch
dbff61563e7b59819ed21ab08885d38876bc5dd4 DefFun Boxed KindMismatch
fd8b61474e5dbbca0b70eb3c571a7ca57eeac91d DefFun Boxed KindMismatch
5855e263b6517580f0ae30281ea28cef59c8d7e9 DefFun Set1InDef AlreadyCombined
7a2798b1e4e1277f09b18f7de232b43170df88ac DefFun Set1InDef AlreadyCombined
52e56d32feebed198705a61d97c13ac224997473 DefFun Set2InDef AlreadyCombined
90b0d719edbe4721fbde4c7f961748bce6cb650a DefFun Set2InDef AlreadyCombined
11de34681a17f149165f7a3c8d9be3cb2fb37f71 DefFun InDef0 TypeMismatch
f98ad8ae8930d50dc664ff12e2bd7dcc9838f075 DefFun InDef0 TypeMismatch
098f105604080cdca943c3bccf748b463bc47b40 DefFun InDef1 TypeMismatch
01e3c55c290d0295c1ed87900a2f07a8b82b8f74 DefFun InDef1 TypeMismatch
d2855fdaffa717f46232d559063a694494c08d80 DefFun InDef2 TypeMismatch
57148fc9dc04d71d023f8982fc0e76dca8341a06 DefFun InDef2 TypeMismatch
1690364fef9b9e890d4806770b547b2d8b186834 DefFun FunInDef AlreadyCombined
127a553bec5e814e1ec2147d9b2e2407088dcd59 DefFun FunInDef AlreadyCombined
574264ef3cf07edb71a50ab47b676992601b3ccb DefFun ExistsInDef AlreadyCombined
f50645721cc1cb6aec89d590f14ac7849eb989f1 DefFun ExistsInDef AlreadyCombined
d3da5a76c0a68c59564e97adba81ace4ff6d6102 DefFun ForallInDef AlreadyCombined
fc95dc2d220c51253b1967df5a55b58492f78804 DefFun ForallInDef AlreadyCombined
0c257db16c7a733a7b22f76651de332780a2c0c0 DefFun ChooseInDef AlreadyCombined
0ccab60696baf11c3fdb8b1b9cd7d68f681a7ceb DefFun ChooseInDef AlreadyCombined
ad376fbed4947182926ed3347e10bbe25cf9634e DefFun Except0 CanNotBePlug
039f95975c29ee2c583d6dcd1a02ae0684b49027 DefFun Except0 CanNotBePlug
76dd4cb346874bbf113ca60883d393571c70d32d DefFun Except1Fun CanNotBePlug
37aefe387402368be895121ad4d09bea43b77a33 DefFun Except1Fun CanNotBePlug
cf8ccdd68a70c2ac38a57f799325f6c26e2fd397 DefFun Except1FunWithAt CanNotBePlug
f83cf8ca426b32b0a58fce788957351269ea8836 DefFun Except1FunWithAt CanNotBePlug
db226a7af913db0ddae966e3c9e5945407a1c421 DefFun Except1Rec CanNotBePlug
509134bca3eede0cf7731b8f6958b8681ad8211e DefFun Except1Rec CanNotBePlug
f2b2b77143ca4fe6bb54d472b58e57cf6109706f DefFun Except1RecWithAt CanNotBePlug
b1f536ada0e5d2444db9364485d8f4215f4bf26a DefFun Except1RecWithAt CanNotBePlug
a4cefdd30cf186c1496429c9d94c3e185ec02980 DefFun Except2Fun CanNotBePlug
2de66dcd0a7b23911284272a9acea9c69859d66e DefFun Except2Fun CanNotBePlug
67c9331241e7b38442fecdac1ca2fe0876db4a61 DefFun Except2FunTuple CanNotBePlug
7a96122d22d9e13230bbed363189a71d6e84bc74 DefFun Except2FunTuple CanNotBePlug
635f7443a15ae40c601e0857d12929c557202f73 DefFun DefFunInDef AlreadyCombined
c1044f605bad9872bf5de9aff7e5e42f6c3c8d91 DefFun DefFunInDef AlreadyCombined
8ad2ee062d27704111226cb478e03520c3eebaea DefFun LetDefFunInDef AlreadyCombined
21942697f226d4c52bbac77126181dc05afbe5b1 DefFun LetDefFunInDef AlreadyCombined
84db6ad7ffac0ca2f2ae9eb4b6244174d283ddfb DefFun VariableViewExclude VariableExcludedFromView
e1a64d9ef22600406fa5c6355d77b53738f20a57 DefFun VariableViewExclude VariableExcludedFromView
dd3979377c9dd329c6b504141d308573de9bbdf4 DefFun Assume AssumeIsNotEmbeddable
befc8d8ab592a22adcd74ca3a089c929ef74fed7 DefFun Assume AssumeIsNotEmbeddable
937720eceae3d11d1a0e9c3583b8b4dcff0190c8 DefFun AssumeNamed AssumeIsNotEmbeddable
a2cda4bb04261fff61a42f3aa6c5e5294f373453 DefFun AssumeNamed AssumeIsNotEmbeddable
aced31e42e5eb033a3ff99c1c84d1cf15156db06 DefFun Lambda TypeMismatch
4d465282eafb5018f593529443fa65696fdfad0c DefFun Lambda TypeMismatch
193ef6769fe5a294baf8d3b0355317119f639652 DefFun SeqSeq TypeMismatch
ba9639dac64dd2bc28bd014754074277d34bd4fb DefFun SeqSeq TypeMismatch
4a9eb88c831d3fbd68befe337d3aa9aaa6092bfd DefFun NatSet TypeMismatch
08f179b8ac66d44ec2224b41f3b28e37588e5d04 DefFun NatSet TypeMismatch
68e59bdf488c6732e85a212edff00ae8fa0ccee3 DefFun IntSet TypeMismatch
0349678486264573209ee02c6e5f587a46e61c42 DefFun IntSet TypeMismatch
fc48cc860038af62964895c9fa5e225347b36edf DefFun StringSet TypeMismatch
58feda419d8920e9dde1c4744009565e6d812456 DefFun StringSet TypeMismatch