← Back to branch summary

~tapaal-ltl/verifypn/reach-stub-new

Viewing all changes in revision 279.

  • Committer: Nikolaj Jensen Ulrik
  • Date: 2021-10-14 09:09:12 UTC
  • Revision ID: njul@cs.aau.dk-20211014090912-mev9h22l7786p66c
Probably properly fixed k-bounds in NDFS. Fixes https://bugs.launchpad.net/tapaal/+bug/1947036

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: