History for testCase[1126 : recordmodifierexpr-02.vdm]

[Duration graph]
show count
BuildTest DescriptionTest DurationTest Result
overture-pvj-main » Overture Sample Tests #1672 msPassed
overture-pvj-main » Overture Sample Tests #1651 msPassed