~tapaal-ltl/verifypn/ltl-trace-fixes

Viewing all changes in revision 247.

  • Committer: Nikolaj Jensen Ulrik
  • Date: 2021-08-06 07:54:04 UTC
  • Revision ID: njul@cs.aau.dk-20210806075404-51gnj8bc5c7pprbg
Fix trace to only output preset of transition

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: