manticore icon indicating copy to clipboard operation
manticore copied to clipboard
verified publisher icon trailofbits

Regularly Measure Performance Benchmarks

Open ehennenfent opened this issue 5 years ago • 1 comments

In addition to having a benchmark we can use to evaluate correctness, we should automatically evaluate it frequently to track Manticore's performance over time.

ehennenfent avatar Jun 18 '20 23:06 ehennenfent

Related: #1732 Related Discussion: #1670

bradlarsen avatar Jul 23 '20 15:07 bradlarsen