History for Package core / test[MapBoolToNatCurried.vdmpp]

[Duration graph]
show count
BuildTest DescriptionTest DurationTest Result
overturetool » hdm/development #50 msSkipped
overturetool » hdm/development #40 msSkipped
overturetool » hdm/development #30 msSkipped
overturetool » hdm/development #10 msSkipped