Re: [math] adding a profil for Ekstasi test optimizer

2014-12-16 Thread Gilles
On Mon, 15 Dec 2014 22:50:49 +0100, Luc Maisonobe wrote: Hi all, A fex weeks ago, Milos Gligoric proposed to add his Ekstazi project to improve tests runs during development time (see ). The rationale is that after a first (long) and complete test

Re: [math] adding a profil for Ekstasi test optimizer

2014-12-15 Thread Phil Steitz
On 12/15/14 2:50 PM, Luc Maisonobe wrote: > Hi all, > > A fex weeks ago, Milos Gligoric proposed to add his Ekstazi project to > improve tests runs during development time (see > ). The rationale is that > after a first (long) and complete test run, som