diff options
| author |  wuestholz <unknown> | 2013-06-25 13:44:06 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-06-25 13:44:06 -0700 |
| commit | e2cdf4a951699ccf433aebe393685890b8c9175d (patch) | |
| tree | d59e0c98a5c5bc9f671204c59fc24262638f9ce6 /Source/Doomed | |
| parent | 3019c32b81e0077e8d7dea93207869ab7b356b48 (diff) | |
Did some refactoring in the execution engine and worked on the parallelization.
Diffstat (limited to 'Source/Doomed')
| -rw-r--r-- | Source/Doomed/DoomCheck.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Doomed/DoomCheck.cs b/Source/Doomed/DoomCheck.cs index 1cbbeabf..1b78afc3 100644 --- a/Source/Doomed/DoomCheck.cs +++ b/Source/Doomed/DoomCheck.cs @@ -117,7 +117,7 @@ void ObjectInvariant() outcome = ProverInterface.Outcome.Undetermined;
Contract.Assert( m_ErrorHandler !=null);
m_Checker.BeginCheck(lv[0].Name, vc, m_ErrorHandler);
- m_Checker.ProverDone.WaitOne();
+ m_Checker.ProverTask.Wait();
try {
outcome = m_Checker.ReadOutcome();
|