History for Package core / run[26: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvValues/NamedTypeInvValues.vdmsl]

[Duration graph]
show count
BuildTest DescriptionTest DurationTest Result
overturetool » hdm/development #548 msPassed
overturetool » hdm/development #494 msPassed
overturetool » hdm/development #347 msPassed
overturetool » hdm/development #148 msPassed