Adds support for multiple names for one option. Adds a simple test.
This is needed for renaming a drcpusim option while keeping legacy support for #4366 (closed).
Issue: #4366 (closed)
Adds support for multiple names for one option. Adds a simple test.
This is needed for renaming a drcpusim option while keeping legacy support for #4366 (closed).
Issue: #4366 (closed)