> 2, If you really plan to add the two restrictions above,
> you may need to consider this further than simply adding a "when != id =
> (T2)(e)" statement.
> I constructed the flollowing code snippet as a test case:
…
> Using the original SmPL, we can find a bug.
> But with your modified SmPL,
Am 15.05.19 um 12:19 schrieb Julia Lawall:
>
>
> On Wed, 15 May 2019, Markus Elfring wrote:
>
> On the other hand, I do care about causing false negatives.
Do you find the missing warning after the addition of such an exclusion
specification interesting?
>>>
>>> I already
On Wed, 15 May 2019, Markus Elfring wrote:
> >>> On the other hand, I do care about causing false negatives.
> >>
> >> Do you find the missing warning after the addition of such an exclusion
> >> specification interesting?
> >
> > I already suggested how to improve the code.
>
> I find that the
3 matches
Mail list logo