History for run[5: src/test/resources/dynamic_analysis/uniontype/OptionalBasicUnion/OptionalBasicUnion.vdmsl]

[Duration graph]
show count
BuildTest DescriptionTest DurationTest Result
overturetool » hdm/development #565 msPassed
overturetool » hdm/development #481 msPassed
overturetool » hdm/development #30.1 secPassed
overturetool » hdm/development #178 msPassed