Try Why3 freezes
Running the first example of Try Why3 about the factorial function "as is" currently does not return in reasonable time. Instead, I would expect it to stop and then, when splitting the goal, seeing that I am missing a variant annotation.
Maybe this problem can be solved in one of the following ways :
- test Try Why3 examples (for each release or each commit ?)
- put a time limit on Alt-Ergo