Without --enableTempDirectory, --proverLogFile is ignored
Closed this issue · 0 comments
alexanderjsummers commented
The --proverLogFile option should cause the smt2 file(s) to end up at the specified path. However, by default it gets ignored; this seems to be a clash with the enabling/disabling temp files mechanism.
Thanks to Marco for helping debug this.