More general option fuzzing #28
Description
Make option fuzzing for cvc4 to be more general (not only boolean flags) and abide by their fuzzing guidelines
{{ message }}
Make option fuzzing for cvc4 to be more general (not only boolean flags) and abide by their fuzzing guidelines