Viewing all changes in revision 435.
- Committer: Peter Gjøl Jensen
- Date: 2013-03-27 08:52:39 UTC
- Revision ID: peter.gjoel@gmail.com-20130327085239-oey0f2n170ws4c5s
Delay forever reported when loop is detected-bug fix
- files modified:
- src/DiscreteVerification/VerificationTypes/Verification.hpp
expand all
collapse all
added
removed
