← Back to branch summary

~tapaal-ltl/verifypn/kbound-fix-ltl

Viewing all changes in revision 249.

  • Committer: Nikolaj Jensen Ulrik
  • Date: 2021-08-12 12:35:54 UTC
  • Revision ID: njul@cs.aau.dk-20210812123554-9gc7j0d1f0d3432c
Fix 'A true' crashing the verifier in LTL mode

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: