← Back to branch summary

~verifypn-stub/verifypn/negation-push

« back to all changes in this revision

Viewing changes to VerifyPN.cpp

  • Committer: Peter G. Jensen
  • Date: 2017-06-21 17:30:44 UTC
  • Revision ID: peter.gjoel@gmail.com-20170621173044-isnbhfianepgsssw
only parse propositions needed 

Show diffs side-by-side

added added

removed removed

Lines of Context:
VerifyPN.cpp
375
375
        else
376
376
        {
377
377
            QueryXMLParser XMLparser(tmap);
378
 
            if (!XMLparser.parse(qfile)) {
 
378
            if (!XMLparser.parse(qfile, options.querynumbers)) {
379
379
                fprintf(stderr, "Error: Failed parsing XML query file\n");
380
380
                fprintf(stdout, "DO_NOT_COMPETE\n");
381
381
                conditions.clear();