Hi, Le 19/08/2019 à 18:37, Nathan Lynch a écrit : > Hi, > > Christophe Leroy <christophe.leroy at c-s.fr> writes: >> Benchmark from vdsotest: > > I assume you also ran the verification/correctness parts of vdsotest...? :-) > I did run vdsotest-all. I guess it runs the verifications too ? Christophe