← Back to branch summary

~verifydtapn-contributers/verifydtapn/safety-games

Viewing all changes in revision 350.

  • Committer: Peter Gjøl Jensen
  • Date: 2015-09-21 15:19:30 UTC
  • Revision ID: peter.gjoel@gmail.com-20150921151930-207ybk9ao411r2j0
Minor fix in successor-generator to avoid redundant children

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: