History for Package core / run[79: src/test/resources/dynamic_analysis/complexstatedes/NamedTypeInvUnionTypeRec/NamedTypeInvUnionTypeRec.vdmsl]

[Duration graph]
show count
BuildTest DescriptionTest DurationTest Result
overturetool » hdm/development #50.11 secPassed
overturetool » hdm/development #40.15 secPassed
overturetool » hdm/development #30.11 secPassed
overturetool » hdm/development #10.11 secPassed