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

Improve output for NullByte domain #1386

Closed
michael-schwarz opened this issue Mar 10, 2024 · 0 comments · Fixed by #1405
Closed

Improve output for NullByte domain #1386

michael-schwarz opened this issue Mar 10, 2024 · 0 comments · Fixed by #1405
Assignees
@michael-schwarz
Labels
good first issue usability
Milestone
v2.4.0

Comments

@michael-schwarz
Copy link
Member

There's two usability issues from #1076 that we didn't seem to notice:

  • Currently, we always print the information from this domain, even when it is disabled, i.e., ana.base.arrays.nullbytes is false. This is confusing as it will always be top and users do not expect it to run at all.
  • The XML output does not provide hints how to read results:

res

Ideally, the components should have speaking names such as MaySet and MustSet or something similar.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@michael-schwarz michael-schwarz

Labels
good first issue usability
Projects
None yet
Milestone
v2.4.0
Development

Successfully merging a pull request may close this issue.

Improve output for NullByte goblint/analyzer
2 participants
@sim642 @michael-schwarz