[Why3-club] why3 execute: Cannot execute expression match

Guillaume Melquiond guillaume.melquiond at inria.fr
Fri Aug 19 15:05:29 CEST 2016

On 19/08/2016 14:48, Guillaume Melquiond wrote:

>> Should I open a bug on Why3 issue tracker?
> Don't bother, it should be easy enough to fix (assuming my
> interpretation is correct).

And the patch is now on the bugfix/v0.87 branch.

Best regards,


More information about the Why3-club mailing list