Repository navigation

Optionally check that we don't have duplicate nodes after AST merge - #4647

Merged

JukkaL merged 8 commits into

Feb 28, 2018

Merged

Optionally check that we don't have duplicate nodes after AST merge#4647
JukkaL merged 8 commits into
masterfrom
mergecheck2

Commits on Feb 22, 2018
- WIP merge correctness checker
  msullivan
  committed
  84fcec2
Commits on Feb 27, 2018
- Various updates to merge checking
  JukkaL
  committed
  5258640
- Refactor mergecheck
  JukkaL
  committed
  63d1335
- Add constant to enable mergecheck
  JukkaL
  committed
  de46f93
- Docstring and comment updates
  JukkaL
  committed
  3b79b43
- Revert test case change
  JukkaL
  committed
  5032341
- Fix tests
  JukkaL
  committed
  ecc1b6b
Commits on Feb 28, 2018
- Fix type check error
  JukkaL
  committed
  5c241fb