vercors icon indicating copy to clipboard operation
vercors copied to clipboard

Published 20 hours ago • verified publisher icon utwente-fmt

VerCors 2.0.0 does not show Viper verification time anymore when running with --progress

Open Jankoekenpan opened this issue 2 years ago • 0 comments

This used to be printed in Vercors 1.4.0, and I was using this metric a lot in order to optimise my triggers.

Jankoekenpan avatar Jun 16 '22 13:06 Jankoekenpan