Viewing all changes in revision 886.2.8.
- Committer: launchpad-janitor
- Date: 2014-08-12 11:00:50 UTC
- mfrom: (886.9.1 ComposerNullSharedPlace)
- mto: (886.2.9 tapaal)
- mto: This revision was merged to the branch mainline in revision 908.
- Revision ID: tapaal@cs.aau.dk-20140812110050-y82x4e7vejxutmat
Fixes a null pointer exception searching for a shared place that is not used in the network. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba
- files modified:
- src/dk/aau/cs/verification/TAPNComposer.java
expand all
collapse all
added
removed
