diff options
| author |  MichalMoskal <unknown> | 2011-02-17 19:00:30 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-02-17 19:00:30 +0000 |
| commit | 6b85a0f0d4f88b6ad57812175354acf3a2947a0e (patch) | |
| tree | c214ed7a953471eaf2689a6b7517cd0ead5fb9bf /Source/Provers/Z3/ProverInterface.cs | |
| parent | 12027267b93833110c0a1a044e1bc80ebf6e7b29 (diff) | |
Provide /p: as the short form of /proverOpt:.
Add /p:O:<name>=<value> and /p:C:<solver-argument> prover options in SMT.
Add default Z3 options when using Z3.
Diffstat (limited to 'Source/Provers/Z3/ProverInterface.cs')
| -rw-r--r-- | Source/Provers/Z3/ProverInterface.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/Provers/Z3/ProverInterface.cs b/Source/Provers/Z3/ProverInterface.cs index 9fd87127..19097f8c 100644 --- a/Source/Provers/Z3/ProverInterface.cs +++ b/Source/Provers/Z3/ProverInterface.cs @@ -112,7 +112,6 @@ void ObjectInvariant() Contract.Invariant(ExeName!=null);
}
-
protected override bool Parse(string opt)
{
//Contract.Requires(opt!=null);
|