search

ligurio / elle-cli

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

Introduce an option to control bank model #79

Closed ligurio closed 1 day ago

ligurio commented 1 day ago

The patch introduces an option --allow-negative-balances (short -n). The option is suitable for a bank model only.