← Back to branch summary

~verifytapn/verifytapn/1.0

Viewing all changes in revision 58.

  • Committer: Morten Jacobsen
  • Date: 2010-11-30 09:51:04 UTC
  • Revision ID: morten.jacobsen.2k+tapaal@gmail.com-20101130095104-s9f91vun7eyol3w1
Fixed a problem where some states were not being explored.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: