Right now, there are println statements scattered across Kodkod (and Alloy?) for debugging/logging.
These are somewhat useful for debugging, but annoying and useless in our tests.
Add an option to disable these. Or disable them by default and add an option to enable them. The option should probably be passed in via Alloy's MultiObjectiveArguments class.
mhyee
commented
11 years ago
Right now, there are
printlnstatements scattered across Kodkod (and Alloy?) for debugging/logging.These are somewhat useful for debugging, but annoying and useless in our tests.
Add an option to disable these. Or disable them by default and add an option to enable them. The option should probably be passed in via Alloy's MultiObjectiveArguments class.