Le 08/05/2018 à 18:58, Gian Pietro Farina a écrit :
Hello,
Sorry for bothering, I am still having troubles in building tasks with
formulas including expressions of the array theory.
I attach a minimal "non working" example.
please next time send a file that is self-contained
Could you please tell me why I get that exception?
You should import/declare every needed object, so after
let task = Task.use_export task int_th
you should do
let task = Task.use_export task array_theory
and so on
- Claude
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club
