lampepfl/dotty — pull request #108 by odersky (2014-04-02 11:27:41+00:00)
Title: test and instrumentation for allOverriddenSymbols

... to verify whether they work correctly.