~cpn-gui/tapaal/unitTest

Viewing all changes in revision 1046.

  • Committer: Mark Glavind
  • Date: 2019-05-16 08:40:22 UTC
  • Revision ID: mglavi14@student.aau.dk-20190516084022-kgblmenbna903y59
Constants are now handled correclty when verifying with verifydtapn. Fixed an issue with tokens in shared places

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: