There is no obvious way to do an availability check where one path depends on the other (for example, we might want to have two paths that must point into different threads).
I imagine that doing this will need some Sequence fun (ie, translating what would be a monadic bind on the generators to a monadic bind on the generator sequences), and might be exciting to get efficient. Another uncertainty is the API we'd expose to fuzzer actions.
There is no obvious way to do an availability check where one path depends on the other (for example, we might want to have two paths that must point into different threads).
I imagine that doing this will need some
Sequencefun (ie, translating what would be a monadic bind on the generators to a monadic bind on the generator sequences), and might be exciting to get efficient. Another uncertainty is the API we'd expose to fuzzer actions.