← Back to branch summary

~verifypn-cpn/verifypn/col_weight_fix

« back to all changes in this revision

Viewing changes to VerifyPN.cpp

  • Committer: Peter G. Jensen
  • Date: 2018-05-12 15:14:12 UTC
  • mto: (204.2.1 verifypn)
  • mto: This revision was merged to the branch mainline in revision 205.
  • Revision ID: peter.gjoel@gmail.com-20180512151412-o0nrg0201xq5n31r
fixed usage of error-codes, changes from cout to cerr.

Show diffs side-by-side

added added

removed removed

Lines of Context:
VerifyPN.cpp
830
830
                            std::cerr << "Exception information: " << ba.what() << std::endl;
831
831
 
832
832
                            delete[] qm0;
833
 
                            std::exit(3);
 
833
                            std::exit(ErrorCode);
834
834
                        }
835
835
 
836
836
                        if(options.printstatistics)