verifypn

Code review comment for lp:~verifypn-cpn/verifypn/rulef-tracefix

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

If rule H is disabled because trace is selected, we should at least print this information
to stdout.

review: Needs Fixing

« Back to merge proposal