uwplse / herbgrind

A Valgrind tool for Herbie
GNU General Public License v3.0
90 stars 7 forks source link

Save opinfos across translations #4

Closed HazardousPeach closed 8 years ago

HazardousPeach commented 8 years ago

Sometimes valgrind will instrument the same block more than once, or even instrument overlapping blocks at different times. This saves the persistent state (tracking statistics about error and asts) for operations across different translations of it.

This also comes with some bugfixes and cleanup.