History for run[50: src/test/resources/dynamic_analysis/settype/SetPassNill/SetPassNil.vdmsl]

[Duration graph]
show count
BuildTest DescriptionTest DurationTest Result
overturetool » hdm/development #533 msPassed
overturetool » hdm/development #453 msPassed
overturetool » hdm/development #335 msPassed
overturetool » hdm/development #169 msPassed