~tapaal-ltl/verifypn/loopInvariantReduction

Viewing all changes in revision 258.

  • Committer: Simon Virenfeldt
  • Date: 2021-02-17 13:50:09 UTC
  • Revision ID: simwir1@gmail.com-20210217135009-8cgx0tm3pqpu6bl9
Fix bug in rule K which removed marked selfloop outside relevant transitions

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: