Summary

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

Compare:

> deepstate-afl ./testcblosc_AFL -o fuzz_afl
INFO:deepstate:Setting log level from DEEPSTATE_LOG: 2
INFO:deepstate.core.base:Setting log level from --min_log_level: 2
INFO:deepstate.core.fuzz:Calling pre_exec before fuzzing
INFO:deepstate.core.fuzz:Creating fake input seed file in directory `/tmp/deepstate_fake_seedfri6uubv`
INFO:deepstate.core.fuzz:Executing command `['/home

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