Sorry for the late response, but: thanks for the information!
Jonathan Moerman
Op ma 2 mrt. 2020 om 12:11 schreef Guillaume Melquiond <
guillaume.melqui...@inria.fr>:
> Le 25/02/2020 à 20:46, Jonathan Moerman a écrit :
>
> > Can someone tell me how to use the "hypothesis selection" transfo
Le 25/02/2020 à 20:46, Jonathan Moerman a écrit :
> Can someone tell me how to use the "hypothesis selection" transformation.
> It doesn't show up in the IDE or when running "why3 --list-transforms".
> The plugin is of course registered in .why3.conf (plugin =
> "/usr/lib/x86_64-linux-gnu/why3/plu
Hi,
Can someone tell me how to use the "hypothesis selection" transformation.
It doesn't show up in the IDE or when running "why3 --list-transforms".
The plugin is of course registered in .why3.conf (plugin =
"/usr/lib/x86_64-linux-gnu/why3/plugins/hypothesis_selection")
Thanks in advance!
