Hi,

Le 19/08/2019 à 18:37, Nathan Lynch a écrit :
Hi,

Christophe Leroy <[email protected]> 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

Reply via email to