smat
smat copied to clipboard
mschoch
State Machine Assisted Testing
Once you have a sequence of operations that reliably fails, ddmin can shrink that down to just the operations that actually cause the failure. My implementation is at https://github.com/dgryski/go-ddmin
It would be nice if users could use stringer to build string names for the ActionIds. That would allow us to generate code to reproduce failing byte sequences, etc. Right...
this is possible, but also means that the go-fuzz mutations have wider implications. some of this is discussed here: https://github.com/dvyukov/go-fuzz/issues/65
The top-level functions have many arguments. Consider putting them into a single struct and passing that instead?