TypeScript 3.7 · TypeScript https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions

In fast-check fc.pre can be used to stop the execution of a property if some preconditions are not validated.

// v is number | null
fc.pre(v !== null)
// while v cannot be null there, TypeScript stills consider that it can be

As adding thi

As discussed in the discord channel. Having a whitelist/blacklist approach where you can tell to (not)instrument specific libraries in QEMU mode. For example by passing library names in an env variable. Something like INSTRUMENT_QEMU_BLACKLIST="libc.so,another.so".
Could be done by replacing all the checks if (cur_loc < afl_code_start || cur_loc >= afl_code_end) with the traverse of a list (in