Viewing all changes in revision 1361.
- Committer: Kenneth Yrke Joergensen
- Date: 2020-04-12 10:25:03 UTC
- Revision ID: kenneth@yrke.dk-20200412102503-r90cln2eur6rofzl
Fixed TAPNComposer adding double arc-path points on copy.
This made the PNML exporter add extra arc-path point, not in the original net
This made the PNML exporter add extra arc-path point, not in the original net
- files modified:
- src/dk/aau/cs/verification/TAPNComposer.java
expand all
collapse all
added
removed
