ligurio / elle-cli

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

Knossos register is gone #59

Closed ligurio closed 1 year ago

ligurio commented 1 year ago

Commit 4e55c2e ("Remove model register in documentation") removed knossos register model in documentation. This commit finally removes model itself. Use elle's register instead.

Closes #42