Index

Skipped feature combinations by plug feature InstanceNamed

Id Case Feature Plug Feature Skip Reason
49665e7bc748b78d5829e9f300a3c865de257d38 OneLineComment InstanceNamed CanNotBeCase
9d62136c0388c31466eea337241d54e253008724 OneLineComment InstanceNamed CanNotBeCase
6b06a41c039779e14c69ecfa8f186dfc273f41c2 MultiLineComment InstanceNamed CanNotBeCase
4e1176e28371e8e569b9733e87e32e5d98937768 MultiLineComment InstanceNamed CanNotBeCase
2778d70123859330c0afc1273e4bece6a93a493c BoolTrue InstanceNamed CanNotBeCase
f686c0b2c48447d9084f08badebc027f735d9a9d BoolTrue InstanceNamed CanNotBeCase
6c8d3097ea83a2234dc58182eba2107cfd407c21 BoolFalse InstanceNamed CanNotBeCase
59512a2ecb497a70361830be3dd55454a0fae1c4 BoolFalse InstanceNamed CanNotBeCase
dfd003645b73f70cd825195ac3b18a4e9edf5691 BoolSet InstanceNamed CanNotBeCase
9a540c231997219eeae37c211b2b14837f0ff5a2 BoolSet InstanceNamed CanNotBeCase
4a4f1d738133928d557621633fcb10d152a66d7f SetEmpty InstanceNamed CanNotBeCase
09278083dde2a1295c20fccf45eeb37d10d4f914 SetEmpty InstanceNamed CanNotBeCase
af69d195be1beb02cb62532621365375f064de0c Set1InDef InstanceNamed TypeMismatch
45835a6296098679c6bfed75d9a5eee4a5418ae9 Set1InDef InstanceNamed TypeMismatch
af6a955bb48eafe477685670ccad2277aed7c2cb Set2InDef InstanceNamed TypeMismatch
02d8d76aaf722e5da9c8977c847c1ceeaf356c0f Set2InDef InstanceNamed TypeMismatch
771277dfac8ffc5fa7f9e2b19e2c7e099eb0bc53 InDef0 InstanceNamed CanNotBeCase
11f9f72f6ab4a2d0468e37782cf803a80f1b7c89 InDef0 InstanceNamed CanNotBeCase
5daa13269374d458b18c15e79b5fa33834aa8bda InDef1 InstanceNamed CanNotBeCase
5ecca8633bf3d9c46ddd4f7ccb7201e88a9ae12d InDef1 InstanceNamed CanNotBeCase
a901ee699a153b5902e75c9771ca0d24291e3572 InDef2 InstanceNamed CanNotBeCase
76390c083e8207e239ee7566c8367c3c2e8e3326 InDef2 InstanceNamed CanNotBeCase
779f788acbe309f9a4ddb92791adf6e0fb43cb51 FunInDef InstanceNamed TypeMismatch
528547bed52d80f33520256795a8cc83e1f5f50c FunInDef InstanceNamed TypeMismatch
e56a8b6295f11e1966523aa9c2c284c84b11eb7b ExistsInDef InstanceNamed TypeMismatch
b5455f3f4b216e953ff2efafd3cd3100c6074ea7 ExistsInDef InstanceNamed TypeMismatch
10324ec33ed65fef0308e49140102c669ea53ecc ForallInDef InstanceNamed TypeMismatch
0dc65dea540f1a2e1b89ed2ca0e02cb1fd5bd2f1 ForallInDef InstanceNamed TypeMismatch
cc64a3a1db01237a1f73310bd3783d0cd6f97e5b ChooseInDef InstanceNamed TypeMismatch
af074b63c792bdc0abd3149f7a4c6b95b1105ab1 ChooseInDef InstanceNamed TypeMismatch
c3a715a3a0a90372b750682d61d91f8241bcaad0 TupleEmpty InstanceNamed CanNotBeCase
09bdb8dd52eb511f51ddcdd24fc7c733bd7270da TupleEmpty InstanceNamed CanNotBeCase
0ee0229e76e9e3d521d123663851230bee90a8fb NumZero InstanceNamed CanNotBeCase
9e97a4a5171616f65042a1631c3f62a0e18864cb NumZero InstanceNamed CanNotBeCase
e88e2accbd0ab17b35293f4d1ac99e43794e4843 NumOne InstanceNamed CanNotBeCase
061a642e76c167782b9779c23abcfe74a9b052b6 NumOne InstanceNamed CanNotBeCase
23c79f9ce0aab020dda70b40df6ec566739eb7f0 NumMaxInt InstanceNamed CanNotBeCase
c9ef46bec484656660743f3a5b50d9dfda311541 NumMaxInt InstanceNamed CanNotBeCase
0e430145b02e13ea7a87a2f97a018dafde6995db DefFunInDef InstanceNamed TypeMismatch
fbcef53f4c4b270eeea671802114dd17d056eafd DefFunInDef InstanceNamed TypeMismatch
a00073f875ea82344fef14285d50912c53ecf955 LetDefFunInDef InstanceNamed TypeMismatch
98f3e7e9a84c909545cee03e04725b0d50d2204c LetDefFunInDef InstanceNamed TypeMismatch
c1786046058507647ab0e3be66d1f76fa518a19e ConstantModelValue InstanceNamed CanNotBeCase
abe03916af8c44a56875d008da9ee240e636e384 ConstantModelValue InstanceNamed CanNotBeCase
c40a6c403ec3d8e666241a680ff0e0c532c500c1 StringEmpty InstanceNamed CanNotBeCase
efdc449d26dcf30d54dc2dd7c81706ef59b85e0a StringEmpty InstanceNamed CanNotBeCase
40d330701465bc9c2528942ab93f940f81ffdeb2 String InstanceNamed CanNotBeCase
eff9c73c7598ca9c483bb913927bce3c5eabe6c4 String InstanceNamed CanNotBeCase
19c7e9e1b2818d61472adb376ed1ecb9c4b9866e NatSet InstanceNamed CanNotBeCase
40ef5a0ea646fb56532a36b031a95fcf6a2e984e NatSet InstanceNamed CanNotBeCase
c2311b88ddb9a3a445630896dfa7272fdd05bc07 IntSet InstanceNamed CanNotBeCase
3349c549a7e0e40a98ac4ee4156d8c863306cac2 IntSet InstanceNamed CanNotBeCase
58966861c0c5344859ce2d7b10f6f701c0a3c494 StringSet InstanceNamed CanNotBeCase
b35660304f7e8a5bfccc85eb8fb82a4ad2d9ed4d StringSet InstanceNamed CanNotBeCase
b0d69348082e0ea6929f0944b5b3607181ccc584 BagEmptyBag InstanceNamed CanNotBeCase
f2170b9ec5b5776345db4252ec290c5552b92cad BagEmptyBag InstanceNamed CanNotBeCase