diff options
| author |  wuestholz <unknown> | 2013-06-17 19:17:55 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-06-17 19:17:55 -0700 |
| commit | 1dbf5b70208239a9beb9c645ee0430e5438e03c5 (patch) | |
| tree | a3614c7b610571476bfdeae47988b442b524bcdd /Source | |
| parent | 9411ee58bafee55a75042a7a43cd5cae99edf242 (diff) | |
Did some refactoring in the execution engine.
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.cs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs index ed7e45ec..2f1e4bdc 100644 --- a/Source/ExecutionEngine/ExecutionEngine.cs +++ b/Source/ExecutionEngine/ExecutionEngine.cs @@ -828,6 +828,11 @@ namespace Microsoft.Boogie }
else
{
+ if (CommandLineOptions.Clo.XmlSink != null)
+ {
+ CommandLineOptions.Clo.XmlSink.WriteStartMethod(impl.Name, verificationResult.Start);
+ }
+
printer.Inform(string.Format("Retrieving cached verification result for implementation {0}...", impl.Name));
}
|