Hi,

Christophe Leroy <[email protected]> writes:
> Benchmark from vdsotest:

I assume you also ran the verification/correctness parts of vdsotest...? :-)


Reply via email to