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

[Duration graph]
show count
BuildTest DescriptionTest DurationTest Result
overturetool » hdm/development #533 msPassed
overturetool » hdm/development #441 msPassed
overturetool » hdm/development #336 msPassed
overturetool » hdm/development #132 msPassed