On Thu, 26 Mar 2020, Guillaume Melquiond wrote:
> Le 26/03/2020 à 13:08, Julia Lawall a écrit :
>
> > Are there any other possibilities, or other ways to solve the problem of
> > finding useless asserts?
>
> I don't have any good solution. But here are a few ideas that might make
> it easier for
Le 26/03/2020 à 13:08, Julia Lawall a écrit :
> Are there any other possibilities, or other ways to solve the problem of
> finding useless asserts?
I don't have any good solution. But here are a few ideas that might make
it easier for you.
Rather than removing the assertions, make them trivial (
Hello,
I suspect that my proofs have too many asserts. However, I'm not
courageous enough to comment them out by hand one by one to find the ones
that are not necessary.
I tried making a tool to generate a copy of the file with each assert
removed, and to copy the session and update the name of
