verifypn

Code review comment for lp:~tapaal-ltl/verifypn/reach-stub-new

  1. reach-stub-new
  2. Merge into new-trunk
Revision history for this message
Jiri Srba (srba) wrote :

Merging to trunk now - small issue with loop at the end in once case but let's address this in 3.9.1 release.

review: Approve

« Back to merge proposal