search

sneeuwballen / benchpress

Testing and benchmarking tool for logic-related programs.
BSD 2-Clause "Simplified" License
26 stars 8 forks source link

command for regression testing #19

Open c-cube opened 4 years ago

c-cube commented 4 years ago

iterate on existing results and use olinq to find problems where the result is different (and time is not too close to timeout); summarize in csv/printbox

c-cube commented 4 years ago

use sqlite instead of olinq (#23); should allow for faster queries.