Viewing all changes in revision 298.
- Committer: Jiri Srba
- Date: 2014-04-08 08:23:04 UTC
- Revision ID: srba@cs.aau.dk-20140408082304-3nwjs5hizs671j5y
merged in the header file fixing traces for liveness
- files modified:
- src/DiscreteVerification/VerificationTypes/Verification.hpp
expand all
collapse all
added
removed
