Hi, Le 19/08/2019 à 18:37, Nathan Lynch a écrit :
Hi,Christophe Leroy <christophe.le...@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
