benchpress
benchpress copied to clipboard
Published
20 hours ago •
sneeuwballen
sneeuwballen
Testing and benchmarking tool for logic-related programs.
Results
21
benchpress issues
Sort by
recently updated
recently updated
newest added
I am using Benchpress to track regressions in Alt-Ergo but sometimes I got regressions that I cannot reproduce manually. My guess is that the way Benchpress computes running times is...
Metadata
25
Stars
6
Forks
Watchers
Owner
Metadata
Testing and benchmarking tool for logic-related programs.