History for test[instvar-01.vpp]

[Duration graph]
show count
BuildTest DescriptionTest DurationTest Result
overture-development » The VDM Type Checker #2905 msPassed
overture-development » The VDM Type Checker #28932 msPassed
overture-development » The VDM Type Checker #2884 msPassed
overture-development » The VDM Type Checker #2876 msPassed
overture-development » The VDM Type Checker #2865 msPassed
overture-development » The VDM Type Checker #2855 msPassed
overture-development » The VDM Type Checker #2843 msPassed
overture-development » The VDM Type Checker #28310 msPassed
overture-development » The VDM Type Checker #2823 msPassed
overture-development » The VDM Type Checker #2814 msPassed
overture-development » The VDM Type Checker #2805 msPassed
overture-development » The VDM Type Checker #2796 msPassed
overture-development » The VDM Type Checker #2784 msPassed
overture-development » The VDM Type Checker #2772 msPassed
overture-development » The VDM Type Checker #2766 msPassed
overture-development » The VDM Type Checker #2754 msPassed
overture-development » The VDM Type Checker #2746 msPassed
overture-development » The VDM Type Checker #2735 msPassed
overture-development » The VDM Type Checker #2725 msPassed
overture-development » The VDM Type Checker #2712 msPassed
overture-development » The VDM Type Checker #2705 msPassed
overture-development » The VDM Type Checker #2695 msPassed
overture-development » The VDM Type Checker #2673 msPassed
overture-development » The VDM Type Checker #2665 msPassed
Older