Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Print unknown status as a string not Clojure keyword #2

Open
ligurio opened this issue Dec 25, 2021 · 0 comments
Open

Print unknown status as a string not Clojure keyword #2

ligurio opened this issue Dec 25, 2021 · 0 comments

Comments

@ligurio
Copy link
Owner

ligurio commented Dec 25, 2021

Status :unknown means checker was unable to complete the analysis; e.g. it ran out of memory.
Now elle-cli prints it as a Clojure keyword (with colon), it would be better to print it without colon.
ligurio added a commit that referenced this issue Dec 25, 2021
@ligurio
Initial commit
1f8da4b 
Add a command-line tool with transactional safety checkers.

Known issues are: #1 and #2
ligurio added a commit that referenced this issue Dec 25, 2021
@ligurio
Initial commit
36fdd07 
Add a command-line tool with transactional safety checkers.

Known issues are: #1 and #2
ligurio added a commit that referenced this issue Dec 28, 2021
@ligurio
Initial commit
dd0c187 
Add a command-line tool with transactional safety checkers.

Known issues are: #1 and #2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ligurio