a property declared in a base class may be overriden with a parameter in a subclass. this is already allowed. if then, in the subsubclass it is overridden by a bare value, it fails. Patchset 1: add a test for this Patchset 4: add the fix Change-Id: Ia5a26076a9ee98439932643a03878342d56f8396 Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/35932 Reviewed-by: Markus Zolliker <markus.zolliker@psi.ch> Tested-by: Jenkins Automated Tests <pedersen+jenkins@frm2.tum.de>
31 KiB
31 KiB