4 ms·TLA+ spec finds bugs in Apache BookKeeper2 points by lemmster 6y agolemmster 6y agohttps://github.com/apache/bookkeeper/issues/2614 https://github.com/apache/bookkeeper/issues/2614