Run this fuzzer a few times until it produces an empty todo.txt file (make run
will run this loop).
This fuzzer occationally fails (depending on some random variables). Just restart it if you encounter this issue. The script behind make run
automatically handles errors by re-starting a run if an error occurs.
Known issues:
Jenkins build 3 (78fa4bd5, success) for example solved the following types: