A couple of previous comments, both of which point to the related paper, which is at <a href="https://arxiv.org/abs/2003.10554" rel="nofollow">https://arxiv.org/abs/2003.10554</a>.<p><i>Elle: Black-box transactional safety checker based on cycle detection (Jespen)</i> - <a href="https://news.ycombinator.com/item?id=22692162" rel="nofollow">https://news.ycombinator.com/item?id=22692162</a> - March 2020 (1 comment)<p><i>Elle: An open source transactional consistency checker for black-box databases</i> - <a href="https://news.ycombinator.com/item?id=22690299" rel="nofollow">https://news.ycombinator.com/item?id=22690299</a> - March 2020 (1 comment)
Could this be straightforwardly extended to validating correctness of filesystems?<p>I'm thinking of the case of developing a FUSE-based filesystem -- it'd be nice to have a test suite you can run that guarantees you haven't broken your filesystem's consistency.<p>Or are there already tools for this that every budding filesystem developer should look to?