3 let test = "win_xpsp3_i386_no_tools"
4 let input_disk = test ^ ".ova"
8 guest_clock = new_year's_day 2014;
9 boot_plan = Boot_to_screenshot (test ^ "-desktop.ppm");
10 boot_known_good_screenshots = [ test ^ "-booting.ppm" ];
13 let () = run ~test ~input_disk ~test_plan ()