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

eliminate simple_log? #464

Open
zingale opened this issue May 17, 2024 · 0 comments
Open

eliminate simple_log? #464

zingale opened this issue May 17, 2024 · 0 comments

Comments

@zingale
Copy link
Member

zingale commented May 17, 2024

In the base state setup, we use the simple log Log() to manage the output. This log has a buffer (set to 128 limes), but we never seem to use the buffer or write the output to a file.

So it is not clear what the purpose of the log is. It seems like we can just eliminate the logging.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant