History for org.overture.vdm2jml.tests.exec

[Duration graph]
show count
BuildDescriptionDurationFailSkipTotal
overturetool » hdm/development #50 ms0200200
overturetool » hdm/development #40 ms0200200
overturetool » hdm/development #30 ms0200200
overturetool » hdm/development #10 ms0400400