diff options
author | wuestholz <unknown> | 2013-06-03 14:54:25 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-06-03 14:54:25 -0700 |
commit | fa0a0fae726a8293f5a99a33aa0b67d39971a46a (patch) | |
tree | 72eb2cc5e895eedd323403fab7c229f8bd22c7dc /Source/DafnyDriver | |
parent | 0cac24caff23fe5db0b12c57b128684afd727044 (diff) |
Did some refactoring of the Dafny drivers.
Diffstat (limited to 'Source/DafnyDriver')
-rw-r--r-- | Source/DafnyDriver/DafnyDriver.cs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs index bb223f54..4358eab9 100644 --- a/Source/DafnyDriver/DafnyDriver.cs +++ b/Source/DafnyDriver/DafnyDriver.cs @@ -272,10 +272,6 @@ namespace Microsoft.Dafny // TODO(wuestholz): Use the definition in the Boogie driver.
- enum PipelineOutcome { Done, ResolutionError, TypeCheckingError, ResolvedAndTypeChecked, FatalError, VerificationCompleted }
-
-
- // TODO(wuestholz): Use the definition in the Boogie driver.
/// <summary>
/// Resolves and type checks the given Boogie program. Any errors are reported to the
/// console. Returns:
|