Unexpected System Stream Logging in Ostrich Library

[kfriedberger]

Problem Description

The JavaSMT project integrates Ostrich as a dependency and assumes that Ostrich does not produce logging output to system streams such as System.err or System.out (or their Scala equivalents, Console.err and Console.out) unless explicitly requested. However, Ostrich currently generates such output, which interferes with JavaSMT's expectations and may disrupt downstream applications relying on clean system stream behavior.

To address this, please either:

• Remove the use of system stream outputs entirely, or
• Make the logging configurable, allowing users to disable it explicitly.

Example Output

The following is an example of unwanted output observed during execution:

Running backward propagation
   ... sat

Problematic Code Locations

The issue stems from code within the Ostrich repository that uses Console or similar system stream outputs.
Relevant instances can be found here:

• https://github.com/search?q=repo%3Auuverifiers%2Fostrich%20path%3A%2F%5Esrc%5C%2Fmain%5C%2Fscala%5C%2Fostrich%5C%2F%2F%20Console&type=code

[pruemmer]

Sorry for the inconvenience. Such debugging output will be gone in the next version of Ostrich, which we will release in time for SMT-COMP. In the meantime, you should be able to disable the debugging output also by calling ``` Console.setErr(ap.CmdlMain.NullStream) ``` (in Scala, the Java call is similar)

[pruemmer]

This should be fixed in the latest versions!