[Why3-club] strategy definitions in the config file

Mario Pereira mariojppereira at gmail.com
Sat Mar 16 21:06:54 CET 2019


Hi all,

> I tried:
>
> [strategy]
> code = "start:
> t split_all_full
> c Alt-Ergo,2.0 40 10000

Try the following:

   [strategy]
   code = "start:
   t split_all_full next
   next:
   c Alt-Ergo,2.2.0 40 10000
   "
   desc = "Split@ and@ then@ Alt-Ergo"
   name = "Split_Alt_Ergo"

In my case, I only have Alt-Ergo 2.2.0 installed.

Hope this helps.

--
Mário



More information about the Why3-club mailing list