History for Package core / run[77: src/test/resources/dynamic_analysis/quantifier/ForAll/ForAll.vdmsl]

[Duration graph]
show count
BuildTest DescriptionTest DurationTest Result
overturetool » hdm/development #530 msPassed
overturetool » hdm/development #442 msPassed
overturetool » hdm/development #333 msPassed
overturetool » hdm/development #128 msPassed