tree 589684ea661639f87e7e29747d25b23035de587a
parent acfff2c9a389652f2f12f39cf1c6c9f4e502addf
author ccalvarin <ccalvarin@google.com> 1504896182 +0200
committer Colin Cross <ccross@android.com> 1505247357 -0700

Options with oldNames will no longer get reported twice in the effective option lists.

Tracking the names together for option identification was useful, but then the same list was being used as the source of options for the parser, which lead to some options being listed twice.

Also complete a few tests that should have already been tested in different orders.

PiperOrigin-RevId: 168024719
GitOrigin-RevId: 80399bc14ced39936ef19a20f3b8c2d1536aa6c2
Change-Id: Id2d7edfcace3f21b9ed4997fc9b94e4c39731a4a