The ``checkflush()`` test does not pass with WAH (see ``tests/unit.cpp``) which means that arbitrary WAH inputs are not supported.