diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-05-10 15:18:20 -0500 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-05-10 15:18:20 -0500 |
commit | 38216791c43f9be4afecbc700548d1dbba63acb0 (patch) | |
tree | 60f7b525ca01980f954350f2312563eb57d30679 /src/parser/parser_builder.cpp | |
parent | f84120cd5311450de2075a91356524d4e20d457c (diff) |
Update casc run script. Work on compliance for SZS output.
Diffstat (limited to 'src/parser/parser_builder.cpp')
-rw-r--r-- | src/parser/parser_builder.cpp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/parser/parser_builder.cpp b/src/parser/parser_builder.cpp index 721337c9e..e1e4053ac 100644 --- a/src/parser/parser_builder.cpp +++ b/src/parser/parser_builder.cpp @@ -89,7 +89,11 @@ Parser* ParserBuilder::build() parser = new Smt2(d_exprManager, input, d_strictMode, d_parseOnly); break; case language::input::LANG_TPTP: - parser = new Tptp(d_exprManager, input, d_strictMode, d_parseOnly); + { + Tptp * tparser = new Tptp(d_exprManager, input, d_strictMode, d_parseOnly); + tparser->d_szsCompliant = d_szsCompliant; + parser = tparser; + } break; default: parser = new Parser(d_exprManager, input, d_strictMode, d_parseOnly); @@ -141,6 +145,7 @@ ParserBuilder& ParserBuilder::withParseOnly(bool flag) { } ParserBuilder& ParserBuilder::withOptions(const Options& options) { + d_szsCompliant = options[options::szsCompliant]; return withInputLanguage(options[options::inputLanguage]) .withMmap(options[options::memoryMap]) |