diff --git a/CHANGELOG.md b/CHANGELOG.md index 5f00f9f..7255fec 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -11,6 +11,7 @@ change log follows the conventions of - Bump Jepsen version to 0.3.10. - Bump Knossos version to 0.3.13 (0.1.13). - Bump Elle version to 0.2.5. +- Print unknown status without colon (#2). [Unreleased]: https://github.com/ligurio/elle-cli/compare/0.1.9...HEAD diff --git a/README.md b/README.md index aa2511a..a7579c7 100644 --- a/README.md +++ b/README.md @@ -57,7 +57,7 @@ three validity states: - `true` means the history was valid - `false` means the history was invalid -- `:unknown` means checker was unable to complete the analysis; e.g. it ran +- `unknown` means checker was unable to complete the analysis; e.g. it ran out of memory. In some cases conversion of history from JSON format to Clojure data structures diff --git a/src/elle_cli/cli.clj b/src/elle_cli/cli.clj index 2ce178d..a6d50df 100644 --- a/src/elle_cli/cli.clj +++ b/src/elle_cli/cli.clj @@ -228,7 +228,8 @@ (let [read-history (or read-history (read-fn-by-extension filepath)) history (h/history (read-history filepath)) analysis (check-history model-name history options) - validness (:valid? analysis)] + validness (:valid? analysis) + validness (if (keyword? validness) (name validness) validness)] (swap! results assoc filepath validness)