Viewing all changes in revision 922.
- Committer: launchpad-janitor
- Date: 2015-11-24 07:50:49 UTC
- mfrom: (917.2.2 pnml-import-NullPointerException-fix-1401468)
- Revision ID: tapaal@cs.aau.dk-20151124075049-j2897fbrqirmqryp
Null pointer exeception when parsing an invalid pnml file is cought now. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba
- files modified:
- src/dk/aau/cs/io/PNMLoader.java
expand all
collapse all
added
removed
