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

Viewing all changes in revision 247.

  • Committer: Jiri Srba
  • Date: 2021-08-09 09:05:47 UTC
  • mfrom: (246.1.5 ltl-fixes)
  • Revision ID: srba.jiri@gmail.com-20210809090547-etvsii2b4zlya5au
merged in lp:~tapaal-ltl/verifypn/ltl-trace-fixes fixing trace generation and replay

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: