History for Package core / run[70: src/test/resources/dynamic_analysis/prepost/PreCond/PreCond.vdmsl]

[Duration graph]
show count
BuildTest DescriptionTest DurationTest Result
overturetool » hdm/development #551 msPassed
overturetool » hdm/development #487 msPassed
overturetool » hdm/development #352 msPassed
overturetool » hdm/development #148 msPassed