History for run[29: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvReturn/NamedTypeInvReturn.vdmsl]

[Duration graph]
show count
BuildTest DescriptionTest DurationTest Result
overturetool » hdm/development #572 msPassed
overturetool » hdm/development #478 msPassed
overturetool » hdm/development #370 msPassed
overturetool » hdm/development #179 msPassed