History for run[18: src/test/resources/dynamic_analysis/invariant_for/Simple/Simple.vdmsl]

[Duration graph]
show count
BuildTest DescriptionTest DurationTest Result
overturetool » hdm/development #574 msPassed
overturetool » hdm/development #40.12 secPassed
overturetool » hdm/development #375 msPassed
overturetool » hdm/development #142 msPassed