News for hackers. Stuff that matters.

A comment on Fuzzing is magic – Or how I found a panic in Rust's regex library. Parent comment

Re:Fuzzing is magic – Or how I found a panic in Rust's regex... by eru on Sunday April 02, 2017 @04:25PM (#14018867)
Arbitrary length shouldn't be a problem. Agda and co are not restricted to programs of finite runtime.

Not sure about production grade, but Google has plenty of results for "Agda regular expressions".

[ Parent | on HN ]

There are no comments on this comment yet.