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

Build usage example with minimal logging emitted #24

Open
jayvdb opened this issue Feb 27, 2020 · 1 comment
Open

Build usage example with minimal logging emitted #24

jayvdb opened this issue Feb 27, 2020 · 1 comment
Labels
documentation Improvements or additions to documentation good first issue Good for newcomers help wanted Extra attention is needed

Comments

@jayvdb
Copy link
Owner

jayvdb commented Feb 27, 2020

"logzero" is currently badly configured by default, and emits "info" messages by default which isnt ideal for a library where most people will not care about the inner workings of the rule elimination/simplification process.

Try to control logzero, or switch to a different logging util.
@jayvdb jayvdb mentioned this issue Feb 27, 2020
Open
@jayvdb jayvdb added documentation Improvements or additions to documentation good first issue Good for newcomers help wanted Extra attention is needed labels Feb 27, 2020
@jayvdb
Copy link
Owner Author

jayvdb commented Mar 22, 2020

Switched to logging-helper, but at least the README needs to be updated with example how to get logging visible in REPL.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
documentation Improvements or additions to documentation good first issue Good for newcomers help wanted Extra attention is needed
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jayvdb