← Back to branch summary

~verifypn-maintainers/verifypn/u3.0

« back to all changes in this revision

Viewing changes to Scripts/MCC19/competition-scripts/

  • Committer: Jiri Srba
  • Date: 2019-03-28 14:11:10 UTC
  • mfrom: (205.4.6 verifypn)
  • Revision ID: srba.jiri@gmail.com-20190328141110-9ja1heah7lvjtpas
merged in branch lp:~verifypn-cpn/verifypn/rulef-tracefix fixing an issue with trace generation 
when reduction rule H is applied

Show diffs side-by-side

added added

removed removed

Lines of Context:
Scripts/MCC19/competition-scripts/