~tapaal-dist-ctl/verifypn/verifypn-dist-ctl

Viewing all changes in revision 360.

  • Committer: Peter Fogh
  • Date: 2016-05-10 08:17:13 UTC
  • Revision ID: peterf1992@gmail.com-20160510081713-3hk1tqrb56jxxrdk
Fix dist and czero for consistency test

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: