History for test[opdef.vpp]

[Duration graph]
show count
BuildTest DescriptionTest DurationTest Result
overture-development » The VDM Type Checker #29055 msPassed
overture-development » The VDM Type Checker #2890.19 secPassed
overture-development » The VDM Type Checker #28840 msPassed
overture-development » The VDM Type Checker #28762 msPassed
overture-development » The VDM Type Checker #28673 msPassed
overture-development » The VDM Type Checker #28562 msPassed
overture-development » The VDM Type Checker #28437 msPassed
overture-development » The VDM Type Checker #2830.1 secPassed
overture-development » The VDM Type Checker #28235 msPassed
overture-development » The VDM Type Checker #28150 msPassed
overture-development » The VDM Type Checker #28054 msPassed
overture-development » The VDM Type Checker #27966 msPassed
overture-development » The VDM Type Checker #27838 msPassed
overture-development » The VDM Type Checker #27728 msPassed
overture-development » The VDM Type Checker #27682 msPassed
overture-development » The VDM Type Checker #27541 msPassed
overture-development » The VDM Type Checker #27484 msPassed
overture-development » The VDM Type Checker #27362 msPassed
overture-development » The VDM Type Checker #27253 msPassed
overture-development » The VDM Type Checker #27136 msPassed
overture-development » The VDM Type Checker #27075 msPassed
overture-development » The VDM Type Checker #26968 msPassed
overture-development » The VDM Type Checker #26730 msPassed
overture-development » The VDM Type Checker #2660.1 secPassed
Older