diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2015-03-10 15:01:32 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-03-10 15:01:32 +0000 |
| commit | 388b98bf3f6b5ccc803168f4bd6ee24b5b1c7956 (patch) | |
| tree | e3e70e3bd8931d775223d8ed98e31f4d87de97d5 /Source/Provers/SMTLib/ProverInterface.cs | |
| parent | 97fde1f2fba76170588bea87af5d693494102d60 (diff) | |
If using -proverLog: make sure we flush after writing every line
otherwise if either of the following happens
* if the solver hangs and we do CTRL+C
* if Boogie crashes
then some lines will be missing from the log.
Diffstat (limited to 'Source/Provers/SMTLib/ProverInterface.cs')
| -rw-r--r-- | Source/Provers/SMTLib/ProverInterface.cs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index 15bb3257..a62fa25a 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -201,8 +201,10 @@ namespace Microsoft.Boogie.SMTLib if (Process != null)
Process.Send(s);
- if (currentLogFile != null)
+ if (currentLogFile != null) {
currentLogFile.WriteLine(s);
+ currentLogFile.Flush();
+ }
}
private void FindDependentTypes(Type type, List<CtorType> dependentTypes)
|