~tapaal-contributor/verifypn/remove_debug_print-1906837

Viewing all changes in revision 224.

  • Committer: Jiri Srba
  • Date: 2020-04-30 10:53:55 UTC
  • Revision ID: srba@cs.aau.dk-20200430105355-4cf1g4juvbyy7cnj
updated MCC 2020 competition script

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: