Yes, this looks like a line break mistakingly inserted in the middle of "40". -- Jean-Christophe
On 8/22/19 1:30 PM, Sylvain Dailler wrote: > Hello, > > Le 22/08/2019 à 12:15, Julia Lawall a écrit : >> The following strategy: >> >> [strategy] >> code = "t split_vc aftersplit aftersplit: c Alt-Ergo,2.3.0 40 10000 c >> CVC4,1.7 4 >> 0 10000 t > > I think that you are calling cvc4 with a timeout of 4, a memlimit of 0 > and a steplimit of 10000 ? This looks like a typo (from your other calls > to provers). > > Hope this helps, > Sylvain Dailler > > _______________________________________________ > Why3-club mailing list > Why3-club@lists.gforge.inria.fr > https://lists.gforge.inria.fr/mailman/listinfo/why3-club _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club