[Termtools] starexec introduces noise, results in ERROR

[Johannes Waldmann]

Hi.

> they are part of internal calls to the SMT solver,
OK, so it's not starexec's fault then.

Simple fix: in your shell script, just add "2>/dev/null" ?

You are using Haskell, right? You don't need to remove temp
files manually if you put them in a temp dir:
https://hackage.haskell.org/package/temporary-1.3/docs/System-IO-Temp.html#v:withSystemTempDirectory

Better yet,  https://hackage.haskell.org/package/smtlib2
and https://hackage.haskell.org/package/smtlib2-pipe

- J.