search

gimli-rs / gimli

A library for reading and writing the DWARF debugging format
https://docs.rs/gimli/
Apache License 2.0
819 stars 103 forks source link

Investigate using quickcheck #67

Open fitzgen opened 7 years ago

fitzgen commented 7 years ago

Kind of like a fuzzer. Not sure if it would be useful for this library? Worth investigating; I hear great things.

philipc commented 7 years ago

What sort of properties would we test?

fitzgen commented 7 years ago

Honestly, I'm not sure.

philipc commented 5 years ago

Now that we have some write support, I guess some round-trip checks would work... given an input, parse it, then checking that writing it and parsing it again gives the same result. Still not sure this is worth the effort though.