search

coq / coq-bench

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

Slightly more informative info #88

Closed ppedrot closed 4 years ago

ppedrot commented 4 years ago

We output the current time at each compilation. I am tired not to be able to know for how long the stuff has been running locally.