History for test[propersubset-06.vdm]

[Duration graph]
show count
BuildTest DescriptionTest DurationTest Result
overture-development » The VDM Type Checker #2902 msPassed
overture-development » The VDM Type Checker #28911 msPassed
overture-development » The VDM Type Checker #2882 msPassed
overture-development » The VDM Type Checker #2872 msPassed
overture-development » The VDM Type Checker #2862 msPassed
overture-development » The VDM Type Checker #2851 msPassed
overture-development » The VDM Type Checker #2843 msPassed
overture-development » The VDM Type Checker #2832 msPassed
overture-development » The VDM Type Checker #2823 msPassed
overture-development » The VDM Type Checker #2812 msPassed
overture-development » The VDM Type Checker #2802 msPassed
overture-development » The VDM Type Checker #2792 msPassed
overture-development » The VDM Type Checker #2783 msPassed
overture-development » The VDM Type Checker #2772 msPassed
overture-development » The VDM Type Checker #2764 msPassed
overture-development » The VDM Type Checker #2753 msPassed
overture-development » The VDM Type Checker #2742 msPassed
overture-development » The VDM Type Checker #2732 msPassed
overture-development » The VDM Type Checker #2723 msPassed
overture-development » The VDM Type Checker #2712 msPassed
overture-development » The VDM Type Checker #2702 msPassed
overture-development » The VDM Type Checker #2690 msPassed
overture-development » The VDM Type Checker #2673 msPassed
overture-development » The VDM Type Checker #2663 msPassed
Older