simulation: Add getTestedPropertyList() is still widely used so define it for compatibility sake.
Followup of: "simulation: improve equivalence testers explanations messages".
Showing
Please register or sign in to comment
Followup of: "simulation: improve equivalence testers explanations messages".