Summary

The documentation "activate_announcer_on_command_failure" is not helpful for users as it misses information a

Right now we just use the standard C random library, but really it'd be nice if the brute force fuzzer could do consistent tests across platforms, for various purposes. We probably need our own PRNG, something like:

https://www-cs-faculty.stanford.edu/~knuth/news02.html#rng

or

https://github.com/cmcqueen/simplerandom

I'm not sure what's best. We'd like decentish quality, maybe, and d

Today, many string methods cause symbolic strings to be "materialized" (the symbolic string becomes a concrete string and then gets handed to the native string implementation).

For some of these operations, this is likely the best we can do, but others may be implementable with the SMT solver directly. This is a list of those methods, and we'll check them off when we've decided that we have th

Integrate: https://github.com/click-contrib/click-completion

Hi

Is there a way to generate a random string and use that string during the whole test run?

with kind regards