Description
It might be useful to implement a Env that selectively reorders syscalls in ways that are legal but uncommon in normal operation. This could help to quickly and deterministically find bugs in how we interact with the filesystem.
It might be useful to implement a Env that selectively reorders syscalls in ways that are legal but uncommon in normal operation. This could help to quickly and deterministically find bugs in how we interact with the filesystem.