uwplse / herbgrind

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

Input ranges #6

Closed HazardousPeach closed 6 years ago

HazardousPeach commented 6 years ago

Adds range information for problematic expressions. This includes both the total range of inputs to the expression, and the range of "problematic" inputs, as in those that eventually result in error for the expression.