← Back to branch summary

~tapaal-contributor/tapaal/token-truncation-bug-1918913

Viewing all changes in revision 1123.

  • Committer: lsaid
  • Date: 2021-04-04 09:31:12 UTC
  • Revision ID: lena.said@hotmail.com-20210404093112-q4rdmot7q33pt3re
Added extra check for markings with more than 8 digits

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: