Closed mheinzel closed 1 month ago
As discussed in https://github.com/IntersectMBO/lsm-tree/pull/215#discussion_r1608330935.
Perhaps not the ideal use case for quickcheck-lockstep, e.g. not making use of variables, but probably better than not having tests. Will help with ensuring the correctness of future optimisations.
As discussed in https://github.com/IntersectMBO/lsm-tree/pull/215#discussion_r1608330935.
Perhaps not the ideal use case for quickcheck-lockstep, e.g. not making use of variables, but probably better than not having tests. Will help with ensuring the correctness of future optimisations.