search

ligurio / elle-cli

The command-line frontend to transactional consistency checkers for black-box databases
Other
27 stars 5 forks source link

Add a checker for sequential test #36

Closed ligurio closed 2 years ago

ligurio commented 2 years ago

Closes #33