diff options
Diffstat (limited to 'Source/Model/Model.cs')
| -rw-r--r-- | Source/Model/Model.cs | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/Source/Model/Model.cs b/Source/Model/Model.cs index 3fafea97..1f97125a 100644 --- a/Source/Model/Model.cs +++ b/Source/Model/Model.cs @@ -695,24 +695,24 @@ namespace Microsoft.Boogie foreach (var f in functions) f.Substitute(mapping);
}
- public static List<Model> ParseModels(System.IO.TextReader rd, string prover)
- {
- ModelParser p;
+ public static List<Model> ParseModels(System.IO.TextReader rd, string prover)
+ {
+ ModelParser p;
- switch (prover)
- {
- case "SMTLIB2":
- p = new ParserSMT();
- break;
- default:
- p = new ParserZ3();
- break;
- }
+ switch (prover)
+ {
+ case "SMTLIB2":
+ p = new ParserSMT();
+ break;
+ default:
+ p = new ParserZ3();
+ break;
+ }
- p.rd = rd;
- p.Run();
+ p.rd = rd;
+ p.Run();
- return p.resModels;
- }
+ return p.resModels;
+ }
}
}
|