Just in case some of the values cause an infinite loop (or at
least take a _very_ long time, see #7708), timeout, with the same
duration as the maximum total fuzzing time.
That'll allow us to _see_ what input causes the infinite loop.
* fuzz: use thread to bypass the limitation of output
Closes: #5724
many thanks to @samueltardieu
* fuzz: enable seq as the stalled issue is fixed
* fuzz: add 4 more fuzzers
* fuzz: enable the 4 new fuzzers in the CI
* remove old import
Co-authored-by: Daniel Hofstetter <daniel.hofstetter@42dh.com>
* remove comment
Co-authored-by: Daniel Hofstetter <daniel.hofstetter@42dh.com>
* remove comment
Co-authored-by: Daniel Hofstetter <daniel.hofstetter@42dh.com>
* add more flags
Co-authored-by: Daniel Hofstetter <daniel.hofstetter@42dh.com>
* add space
Co-authored-by: Daniel Hofstetter <daniel.hofstetter@42dh.com>
* add a comment about sort local
Co-authored-by: Daniel Hofstetter <daniel.hofstetter@42dh.com>
* wrong copy/paste
Co-authored-by: Daniel Hofstetter <daniel.hofstetter@42dh.com>
* fuzz: import "std::env"
---------
Co-authored-by: Daniel Hofstetter <daniel.hofstetter@42dh.com>
