open V2v_test_harness let test = "rhel_71_x86_64_uefi" let input_disk = test ^ ".ova" let test_plan = { default_plan with guest_clock = new_year's_day 2014; boot_plan = Boot_to_screenshot (test ^ "-login.ppm") } let () = run ~test ~input_disk ~test_plan ()