← Back to branch summary

~tapaal-contributor/tapaal/weight-values-fix-1770637

Viewing all changes in revision 962.

  • Committer: Jiri Srba
  • Date: 2018-05-13 19:54:55 UTC
  • Revision ID: srba@cs.aau.dk-20180513195455-9d2ob69hjiq1l507
https://launchpad.net/bugs/1770637
Fixes bug #1770637 where in PNML export and composer we used constant names
instead of the values in weights of arcs

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: