Temporary input file "cadical"

[kfriedberger]

I noticed a kind of temporary file named "cadical" in the project directory after running JUnit tests. This file seems to appear in JavaSMT as well as in CPAchecker. We should avoid this file or redirect it into a valid temp-directory. The file seems to contain a few chars, maybe encoding some SAT problem for Cadical which is used internally in some SMT solvers, such as Boolector, CVC4, CVC5, Yices2, and Bitwuzla.

First steps:

• find out which test or solver causes this file.
• then fix it.

[daniel-raffler]

The file seems to be created by Bitwuzla, and I can get it when running ModelTest. It is much larger while the test is still running (~ 1.5MB) and the first line reads aig 265631 9885 0 1595 255746. Could this be related to the aiger option we enabled some time ago?