search

coq / coq-bench

Scripts for differential performance testing of Coq packages / versions
Other
4 stars 6 forks source link

[display] Make the script less verbose. #54

Closed ejgallego closed 5 years ago

ejgallego commented 5 years ago

Verbosity in success logs == time wasted for everyone.