benchpress icon indicating copy to clipboard operation
benchpress copied to clipboard

Published 20 hours ago • verified publisher icon sneeuwballen

richer way to scan prover output

Open c-cube opened this issue 4 years ago • 0 comments

  • [ ] ability to specify stdout/stderr
  • [ ] match errcode instead of output (cf minisat: 10/20)
  • [ ] priorities to try more specify regex first

cc @gbury

c-cube avatar May 17 '20 21:05 c-cube