← Back to branch summary

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

Viewing all changes in revision 267.

  • Committer: Simon Virenfeldt
  • Date: 2021-03-09 09:46:47 UTC
  • Revision ID: simwir1@gmail.com-20210309094647-hbaqib1szx2xksp0
Changed optimisation to medium. Added debug stats print.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: