History for Package core / run[12: src/test/resources/dynamic_analysis/comprehension/Seq/Seq.vdmsl]

[Duration graph]
show count
BuildTest DescriptionTest DurationTest Result
overturetool » hdm/development #585 msPassed
overturetool » hdm/development #40.1 secPassed
overturetool » hdm/development #30.12 secPassed
overturetool » hdm/development #195 msPassed