Remove debug output print #11
Description
Currently many tactics print the debug output for their test cases and spam it to the terminal. We should disable that.
{{ message }}
Currently many tactics print the debug output for their test cases and spam it to the terminal. We should disable that.