Logging cleanup #3093

jwiesler · 2023-03-30T17:04:27Z

Cleans up some logging issues:

Fix log level in logback.xml being overwritten: It was overwritten by the default from the CLI when no option is given
Remove lots of extremely spammy log messages: Most of them are normal paths during proving or completely useless for debugging and produce gigabytes of useless output.

Makes its output not ignore log level

…g it with cli default and remove manual log filtering

jwiesler added 4 commits March 30, 2023 16:22

Hint about log level of console appender

efd81e4

Evaluate experimental after log init

a914aa7

Makes its output not ignore log level

Remove lots of extremely spammy useless log output

9cc815b

Use default log level configured in logback.xml instead of overwritin…

f6755c5

…g it with cli default and remove manual log filtering

jwiesler requested a review from wadoon March 31, 2023 07:15

wadoon approved these changes Mar 31, 2023

View reviewed changes

wadoon added this pull request to the merge queue Mar 31, 2023

Merged via the queue into KeYProject:main with commit 62b33ea Mar 31, 2023

Provide feedback