Fuzzer for simplifying constructors (#272) * add bv simpl fuzzer Signed-off-by: Sacha Ayoun * improvements Signed-off-by: Sacha Ayoun * fix svalue bugs Signed-off-by: Sacha Ayoun * Improve fuzzers Signed-off-by: Sacha Ayoun * can run both in parallel Signed-off-by: Sacha Ayoun * run in CI Signed-off-by: Sacha Ayoun * rewrite generators using proper QCheck2.Gen combinators Signed-off-by: Sacha Ayoun * Add `force` argument to `eval` and remove `smartify` from `gen` Signed-off-by: Sacha Ayoun * Improve var collection code Signed-off-by: Sacha Ayoun * fix one unsoundness Signed-off-by: Sacha Ayoun * fix some reduction bugs Signed-off-by: Sacha Ayoun * Improve generators Signed-off-by: Sacha Ayoun * run more tests in parallel Signed-off-by: Sacha Ayoun * improve printing Signed-off-by: Sacha Ayoun * Improve code that generates variable names Signed-off-by: Sacha Ayoun * style Signed-off-by: Sacha Ayoun * Adding two 1-bits of size 1 overflows, even in unsigned. Signed-off-by: Sacha Ayoun * increase count Signed-off-by: Sacha Ayoun * fix 2 more unsoundnesses Signed-off-by: Sacha Ayoun * can modify count using a variable Signed-off-by: Sacha Ayoun * very slow tests runs 30000 checks instead of 10000 Signed-off-by: Sacha Ayoun * add CI to run the bv fuzzer on demande with very-slow-tests Signed-off-by: Sacha Ayoun * actually, we can just run more in parallel! Signed-off-by: Sacha Ayoun * shrink ite to its branches Signed-off-by: Sacha Ayoun * one more fix Signed-off-by: Sacha Ayoun * Apply suggestions from code review Co-authored-by: opale * Opale's fixes Co-authored-by: N1ark Signed-off-by: Sacha Ayoun * is this better? Signed-off-by: Sacha Ayoun --------- Signed-off-by: Sacha Ayoun Co-authored-by: opale