diff options
| author |  Pantazis Deligiannis <pdeligia@me.com> | 2013-07-11 13:51:55 +0100 |
|---|---|---|
| committer | Pantazis Deligiannis <pdeligia@me.com> | 2013-07-11 13:51:55 +0100 |
| commit | 0c04738d73d4253135cc248a02dd7ac3d2d97d5a (patch) | |
| tree | 5c65ae27fa174dbacd8cad7b957643ecc432ccd6 /Source/Model/Model.cs | |
| parent | 177aadc61ec1f219ad4a8a7a442678ab442cd16d (diff) | |
code cleanup and refactoring
Diffstat (limited to 'Source/Model/Model.cs')
| -rw-r--r-- | Source/Model/Model.cs | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/Source/Model/Model.cs b/Source/Model/Model.cs index 7668b370..b9a2dfcf 100644 --- a/Source/Model/Model.cs +++ b/Source/Model/Model.cs @@ -701,14 +701,11 @@ namespace Microsoft.Boogie switch (prover)
{
- case "Z3_SMTLIB2":
- p = new ParserZ3_SMTLIB2();
- break;
- case "CVC4":
- p = new ParserCVC4();
+ case "SMTLIB2":
+ p = new ParserSMT();
break;
default:
- p = new ParserZ3();
+ p = new ParserZ3();
break;
}
|