Command-line transactional consistency checker for black-box databasesgithub.com/ligurio2 pointstodsacerdoti4 years ago