diff options
Diffstat (limited to 'Source/VCGeneration/VCDoomed.cs')
-rw-r--r-- | Source/VCGeneration/VCDoomed.cs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/VCGeneration/VCDoomed.cs b/Source/VCGeneration/VCDoomed.cs index 12543cd5..c1547009 100644 --- a/Source/VCGeneration/VCDoomed.cs +++ b/Source/VCGeneration/VCDoomed.cs @@ -283,9 +283,9 @@ namespace VC { ///
/// </summary>
public override Outcome VerifyImplementation(Implementation impl, Program program, VerifierCallback callback) {
- Contract.Requires(impl != null);
- Contract.Requires(program != null);
- Contract.Requires(callback != null);
+ //Contract.Requires(impl != null);
+ //Contract.Requires(program != null);
+ //Contract.Requires(callback != null);
Contract.EnsuresOnThrow<UnexpectedProverOutputException>(true);
UseItAsDebugger = CommandLineOptions.Clo.useDoomDebug;
|