Viewing all changes in revision 363.
- Committer: Peter Gjøl Jensen
- Date: 2015-10-13 14:22:03 UTC
- Revision ID: peter.gjoel@gmail.com-20151013142203-aw4ryv2dxloi6a6v
fixed bug when using inhibitor arcs
- files modified:
- src/DiscreteVerification/Generator.cpp
expand all
collapse all
added
removed
