command-line frontend to transactional consistency checkers for black-box databases - View it on GitHub
Star
23
Rank
742745