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! Jonathan Moerman
_______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club