← Back to branch summary

~tapaal-ltl/verifypn/interesting-trans-stub

Viewing all changes in revision 261.

  • Committer: Simon Virenfeldt
  • Date: 2021-02-24 11:49:07 UTC
  • Revision ID: simwir1@gmail.com-20210224114907-qd3sgga31a6827i6
If no stubborn transitions are found make all transitions stubborn.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: