Viewing all changes in revision 266.
- Committer: Jiri Srba
- Date: 2012-07-13 11:32:45 UTC
- mfrom: (265.1.1 wrongAnswerFix)
- Revision ID: srba@cs.aau.dk-20120713113245-bjke882dilyw4k0w
merged branch that is fixing a problem with delay on empty markings
- files modified:
- src/DiscreteVerification/NonStrictSearch.cpp
expand all
collapse all
added
removed
