Viewing all changes in revision 147.
- Committer: Jakob Dyhr
- Date: 2016-03-31 13:50:13 UTC
- Revision ID: jdyhr12@student.aau.dk-20160331135013-jscmlq9tijz3vx3p
Terminate the program when LTSmin hash table is declared full.
- files modified:
- PetriEngine/Reachability/LTSmin.cpp
expand all
collapse all
added
removed
