History for Package core / run[17: src/test/resources/dynamic_analysis/invariant_for/RecUnion/RecUnion.vdmsl]

[Duration graph]
show count
BuildTest DescriptionTest DurationTest Result
overturetool » hdm/development #588 msPassed
overturetool » hdm/development #40.16 secPassed
overturetool » hdm/development #387 msPassed
overturetool » hdm/development #182 msPassed