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.

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

Don't show q::debug output on low verbosity #1574

Open
bugarela opened this issue Dec 23, 2024 · 0 comments
Open

Don't show q::debug output on low verbosity #1574

bugarela opened this issue Dec 23, 2024 · 0 comments
Labels
simulator Quint simulator UX impacts or improves user experience

Comments

@bugarela
Copy link
Collaborator

bugarela commented Dec 23, 2024

It's currently hard to toggle debugging. A workaround is having something like

pure val DEBUG_ENABLED = false
pure def debug(desc, expr) = if (DEBUG_ENABLED) q::debug(desc, expr) else expr

And then using debug instead of q::debug, and changing the value of DEBUG_ENABLED to toggle the output.

We should use the --verbosity flag for this purpose. We can also consider adding a --debug flag.

@bugarela bugarela added simulator Quint simulator UX impacts or improves user experience labels Dec 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
simulator Quint simulator UX impacts or improves user experience
Projects
None yet
Development

No branches or pull requests

1 participant