diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-20 19:58:46 -0700 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-20 19:58:46 -0700 |
commit | e676ad0877d31cb73a1a6bb5aae677ac64593fd6 (patch) | |
tree | 5ea6563ed11ae2df0c60de418b8036751ae9ec3c /Source/DafnyServer/DafnyHelper.cs | |
parent | 24812516d64ed809d7446680a79eac492ea6a201 (diff) |
Cleanup a number of FIXMEs that I had left in the code
Diffstat (limited to 'Source/DafnyServer/DafnyHelper.cs')
-rw-r--r-- | Source/DafnyServer/DafnyHelper.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/DafnyServer/DafnyHelper.cs b/Source/DafnyServer/DafnyHelper.cs index 952f71c5..3204fdb3 100644 --- a/Source/DafnyServer/DafnyHelper.cs +++ b/Source/DafnyServer/DafnyHelper.cs @@ -74,7 +74,7 @@ namespace Microsoft.Dafny { ExecutionEngine.CoalesceBlocks(boogieProgram);
ExecutionEngine.Inline(boogieProgram);
- //FIXME Could capture errors instead of printing them (pass a delegate instead of null)
+ //NOTE: We could capture errors instead of printing them (pass a delegate instead of null)
switch (ExecutionEngine.InferAndVerify(boogieProgram, new PipelineStatistics(), "ServerProgram", null, DateTime.UtcNow.Ticks.ToString())) {
case PipelineOutcome.Done:
case PipelineOutcome.VerificationCompleted:
|