History for Package core / run[55: src/test/resources/dynamic_analysis/maptype/ReturnNonInjMapWhereInjMapRequired/ReturnNonInjMapWhereInjMapRequired.vdmsl]

[Duration graph]
show count
BuildTest DescriptionTest DurationTest Result
overturetool » hdm/development #545 msPassed
overturetool » hdm/development #459 msPassed
overturetool » hdm/development #346 msPassed
overturetool » hdm/development #143 msPassed