History for testCase[2898 : assignstmt-16.vdm]

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