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

[Duration graph]
show count
BuildTest DescriptionTest DurationTest Result
overturetool » hdm/development #562 msPassed
overturetool » hdm/development #40.11 secPassed
overturetool » hdm/development #355 msPassed
overturetool » hdm/development #155 msPassed