Remove checker name in options with models name
ligurio opened this issue · comments
There is no sense to include a checker name to a model name. Checker is specified in a model description in a documentation.
The command-line frontend to transactional consistency checkers for black-box databases
ligurio opened this issue · comments
There is no sense to include a checker name to a model name. Checker is specified in a model description in a documentation.