verifypn

Code review comment for lp:~verifypn-stub/verifypn/ctl-structural

  1. ctl-structural
  2. Merge into new-trunk
Revision history for this message
Jiri Srba (srba) wrote :

Please, fix the warning:

CTL/PetriNets/OnTheFlyDG.cpp:24:9: warning: field '_redgen' will be initialized after field
      '_partial_order' [-Wreorder]
        _redgen(*t_net), _partial_order(partial_order) {
        ^

review: Needs Fixing

« Back to merge proposal