~tapaal-ltl/verifypn/fireable-empty-preset-fix

Viewing all changes in revision 248.

  • Committer: Nikolaj Jensen Ulrik
  • Date: 2021-08-17 09:40:30 UTC
  • Revision ID: njul@cs.aau.dk-20210817094030-lb510mxv2q9s01a9
Fix crash when verifying is-fireable(t) when t has empty preset (thus trivially fireable)

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: