Viewing all changes in revision 146.
- Committer: Jiri Srba
- Date: 2012-06-30 11:36:04 UTC
- mfrom: (145.1.1 mem-fix-bug-1013526)
- Revision ID: srba@cs.aau.dk-20120630113604-23jppqbiv65wwjsc
merged in the branch mem-fix-bug-1013526 fixing a memory issue for transitions
with no input arcs.
with no input arcs.
- files modified:
- src/ReachabilityChecker/SuccessorGenerator.cpp
expand all
collapse all
added
removed
