History for org.overture.vdm2jml.tests

[Duration graph]
show count
BuildDescriptionDurationFailSkipTotal
overture-development » The VDM to JML Generator #2527.3 sec010178
overture-development » The VDM to JML Generator #2516.5 sec010178
overture-development » The VDM to JML Generator #2507.5 sec010178
overture-development » The VDM to JML Generator #2498 sec010178
overture-development » The VDM to JML Generator #2486.5 sec010178
overture-development » The VDM to JML Generator #2477.5 sec010178
overture-development » The VDM to JML Generator #2466.8 sec010178
overture-development » The VDM to JML Generator #2456.8 sec010178
overture-development » The VDM to JML Generator #2446.3 sec010178
overture-development » The VDM to JML Generator #2437.5 sec010178
overture-development » The VDM to JML Generator #2427 sec010178
overture-development » The VDM to JML Generator #2417.7 sec010178
overture-development » The VDM to JML Generator #2406.8 sec010178
overture-development » The VDM to JML Generator #2397.8 sec010178
overture-development » The VDM to JML Generator #2387.4 sec010178
overture-development » The VDM to JML Generator #2377.6 sec010178
overture-development » The VDM to JML Generator #2367.4 sec010178
overture-development » The VDM to JML Generator #2357.4 sec010178
overture-development » The VDM to JML Generator #2347.6 sec010178
overture-development » The VDM to JML Generator #2338 sec010178
overture-development » The VDM to JML Generator #2327.8 sec010178
overture-development » The VDM to JML Generator #2317.8 sec010178
overture-development » The VDM to JML Generator #2307.1 sec010178
overture-development » The VDM to JML Generator #2297.7 sec010178
Older