open V2v_test_harness let test = "rhel_45_x86_64_fv" let test_plan = { default_plan with guest_clock = new_year's_day 2014; (* XXX It boots fine, but X11 fails to start. Probably we need to * install the X11 QXL driver. *) boot_plan = Boot_to_screenshot (test ^ "-x11-failure.ppm"); boot_known_good_screenshots = [ test ^ "-relabelling.ppm" ] } let () = run ~test ~test_plan ()