search

mcarton / rust-herbie-lint

A rustc plugin to check for numerical instability
Mozilla Public License 2.0
173 stars 4 forks source link

Add support for a timeout when calling herbie-inout #1

Closed mcarton closed 8 years ago

mcarton commented 8 years ago

Executing herbie-inout can be very long, there should be a way to kill it after some timeout.

mcarton commented 8 years ago

Done in 1.0.4.