Skip to content

Commit

Permalink
Make elle-cli defaults consistent with elle
Browse files Browse the repository at this point in the history
  • Loading branch information
Gerrrr authored and ligurio committed Feb 10, 2022
1 parent 51f696c commit e1b9562
Show file tree
Hide file tree
Showing 3 changed files with 10 additions and 7 deletions.
1 change: 1 addition & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,7 @@ change log follows the conventions of

### Changed

- Update default values for CLI arguments so that they are aligned with Elle's.
- Bump Jepsen version to 0.2.6.
- Bump Elle version to 0.1.4.
- Use :strict-serializable as a default consistency model.
Expand Down
10 changes: 6 additions & 4 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -83,12 +83,13 @@ An Elle's checker for write-read registers. Options are:
`G2-item`, `G2-item-process`, `G2-item-realtime`, `G2-process`, `GSIa`,
`GSIb`, `incompatible-order`, `dirty-update`.
- **cycle-search-timeout** - how many milliseconds are we willing to search a
single SCC for a cycle?
single SCC for a cycle? Default value is `1000`.
- **directory** - where to output files, if desired. Default value is `nil`.
- **plot-format** - either `png` or `svg`. Default value is `svg`.
- **plot-timeout** - how many milliseconds will we wait to render a SCC plot?
Default value is `5000`.
- **max-plot-bytes** - maximum size of a cycle graph (in bytes of DOT) which
we're willing to try and render.
we're willing to try and render. Default value is `65536`.

### elle-list-append

Expand All @@ -108,12 +109,13 @@ Options are:
`G2-item`, `G2-item-process`, `G2-item-realtime`, `G2-process`, `GSIa`,
`GSIb`, `incompatible-order`, `dirty-update`.
- **cycle-search-timeout** - how many milliseconds are we willing to search a
single SCC for a cycle?
single SCC for a cycle? Default value is `1000`.
- **directory** - where to output files, if desired. Default value is `nil`.
- **plot-format** - either `png` or `svg`. Default value is `svg`.
- **plot-timeout** - how many milliseconds will we wait to render a SCC plot?
Default value is `5000`.
- **max-plot-bytes** - maximum size of a cycle graph (in bytes of DOT) which
we're willing to try and render.
we're willing to try and render. Default value is `65536`.

Example of history:

Expand Down
6 changes: 3 additions & 3 deletions src/elle_cli/cli.clj
Original file line number Diff line number Diff line change
Expand Up @@ -112,7 +112,7 @@
:parse-fn str->keywords]
["-s" "--cycle-search-timeout CYCLE-SEARCH-TIMEOUT"
"(Elle) Number of ms for searching a single SCC for a cycle."
:default 10]
:default 1000]
["-d" "--directory DIRECTORY"
"(Elle) Where to output files, if desired."
:default "store"]
Expand All @@ -122,10 +122,10 @@
:parse-fn keyword]
["-t" "--plot-timeout PLOT-TIMEOUT"
"(Elle) How many milliseconds will we wait to render a SCC plot?"
:default 10]
:default 5000]
["-b" "--max-plot-bytes MAX-PLOT-BYTES"
"(Elle) Maximum size of a cycle graph (in bytes of DOT)."
:default 400]
:default 65536]

; Jepsen-specific options.
; None.
Expand Down

0 comments on commit e1b9562

Please sign in to comment.