There's quite a few tests for correct implementations, making sure that Reltester never flags a good implementation by accident. I should add more tests to make sure that can catch bad behavior as well โ I don't expect to find surprises there, because the checkers are quite simple to reason about, but it's definitely something that can be improved.