rgrig/topl

Parallel checker

Opened this issue · 0 comments

rgrig commented

We could lower the overhead, at least for sequential programs, by moving most of the checker work in a parallel read.