search

TeamAmalgam / kodkod

Kodkod relational model finder
Other
3 stars 0 forks source link

Logging #10

Closed mhyee closed 10 years ago

mhyee commented 11 years ago

There's a lot of println statements in the GuidedImprovementAlgorithm class.

I've removed most of them, but it's still annoying when/if we run unit tests, to see lines and lines of debug output.

So we should use a real logger and have options to set the debug level.

mhyee commented 11 years ago

We should also have an option to disable logging output.

We should also make logging consistent between the different algorithms.