Viewing all changes in revision 1648.
- Committer: Kenneth Yrke Joergensen
- Date: 2022-06-20 17:58:06 UTC
- Revision ID: kenneth@yrke.dk-20220620175806-c8u6rzhngwb72ofp
Fixed an issue where shared transiations was "added" double due to parent network being reused when flatting net
- files modified:
- src/main/java/dk/aau/cs/verification/TAPNComposer.java
expand all
collapse all
added
removed
