diff options
Diffstat (limited to 'Source/Doomed/DoomCheck.cs')
| -rw-r--r-- | Source/Doomed/DoomCheck.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Doomed/DoomCheck.cs b/Source/Doomed/DoomCheck.cs index 1b78afc3..7e2ec984 100644 --- a/Source/Doomed/DoomCheck.cs +++ b/Source/Doomed/DoomCheck.cs @@ -121,6 +121,7 @@ void ObjectInvariant() try {
outcome = m_Checker.ReadOutcome();
+ m_Checker.GoBackToIdle();
} catch (UnexpectedProverOutputException e)
{
if (CommandLineOptions.Clo.TraceVerify) {
|