rgrig / topl

TOPL Runtime Verifier
5 stars 1 forks source link

Parallel checker #27

Open rgrig opened 12 years ago

rgrig commented 12 years ago

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