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/SMTLib/SMTLib.csproj | |
| 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/SMTLib/SMTLib.csproj')
| -rw-r--r-- | Source/Provers/SMTLib/SMTLib.csproj | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Provers/SMTLib/SMTLib.csproj b/Source/Provers/SMTLib/SMTLib.csproj index 536fd43e..4eb753a2 100644 --- a/Source/Provers/SMTLib/SMTLib.csproj +++ b/Source/Provers/SMTLib/SMTLib.csproj @@ -107,6 +107,7 @@ <Reference Include="System.Xml" />
</ItemGroup>
<ItemGroup>
+ <Compile Include="SMTLibProverOptions.cs" />
<Compile Include="ProverInterface.cs" />
<Compile Include="SExpr.cs" />
<Compile Include="SMTLibLineariser.cs" />
|