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 shell script that runs JAR file #64

Closed ligurio closed 1 year ago

ligurio commented 1 year ago 
$ ./elle-cli
Usage: elle-cli --help
$ ./elle-cli --help
elle-cli - command-line transactional safety checker.

Usage: elle-cli -m model [options] files

Supported models:
...