Viewing all changes in revision 277.
- Committer: Peter Gjøl Jensen
- Date: 2013-04-08 14:17:59 UTC
- Revision ID: peter.gjoel@gmail.com-20130408141759-q267x9lag7v08u4c
moved dead-token removal inside loop
- files modified:
- src/DiscreteVerification/DataStructures/NonStrictMarkingBase.cpp
expand all
collapse all
added
removed
