-
Karel Koci authored
This prints a lot of text, but syslog should handle it. This should allows us to found out why sat concluded result it concluded when we encounter some bugs.
This prints a lot of text, but syslog should handle it. This should allows us to found out why sat concluded result it concluded when we encounter some bugs.