search for: to_float

...*) - let t = actual_target_size t in - - (* If verbose, print the virtual and real copying rates. *) - let elapsed_time = end_time -. start_time in - if verbose () && elapsed_time > 0. then ( - let mbps size time = - Int64.to_float size /. 1024. /. 1024. *. 10. /. time - in - - printf "virtual copying rate: %.1f M bits/sec\n%!" - (mbps t.target_overlay.ov_virtual_size elapsed_time); - - match t.target_actual_size with - | None -> () - | Some actu...

This series is a second attempt to add a mode of virt-v2v operation where it leaves the config and disk image conversion, rollback on errors, registering with the destination hypervisor, etc. to a third-party toolset, and performs only tuning of the guest OS to run in the KVM-based hypervisor. The first 14 patches are just refactoring and rearrangement of the code, factoring the implementation

...al exec : string -> arg array -> unit = "r_exec" > external current_test : unit -> unit = "r_current_test" > external to_bool : sexp -> bool = "bool_of_sexp" > external to_int : sexp -> int = "int_of_sexp" > external to_float : sexp -> float = "float_of_sexp" > external to_string : sexp -> string = "string_of_sexp" > external of_bool : bool -> sexp = "sexp_of_bool" > external of_int : int -> sexp = "sexp_of_int" > external of_float : float -...

...al exec : string -> arg array -> unit = "r_exec" > external current_test : unit -> unit = "r_current_test" > external to_bool : sexp -> bool = "bool_of_sexp" > external to_int : sexp -> int = "int_of_sexp" > external to_float : sexp -> float = "float_of_sexp" > external to_string : sexp -> string = "string_of_sexp" > external of_bool : bool -> sexp = "sexp_of_bool" > external of_int : int -> sexp = "sexp_of_int" > external of_float : float -...

...source_total_size (human_size source_total_size); if source_total_size = 0L then (* Avoid divide by zero error. *) targets @@ -470,8 +467,7 @@ and estimate_target_size mpstats targets = (* (3) Store the ratio as a float to avoid overflows later. *) let ratio = Int64.to_float fs_total_size /. Int64.to_float source_total_size in - if verbose () then - printf "estimate_target_size: ratio = %.3f\n%!" ratio; + debug "estimate_target_size: ratio = %.3f" ratio; (* (4) *) let fs_free = @@ -494,13 +490,11 @@ and estimate_target_size mp...

Add a Common_utils.debug function for printing messages only when in verbose mode. Rich.

...ng Float2Int infrastructure to track the integer length that would be required for the conversion. The main difficulty I can see with this is validating the transformation. Ideally the property that we want to prove for the guessed integers a and b would be that (a*x)/b == round_to_zero(f * to_float(x)), for every integer x in a given range. The problem with this is that we would need to come up with a reasonably quick method of proving this. My best guess (still need to work out the exact details) would be that we only need to check the first and last b numbers of the range. A hand-wav...

...(* If verbose, print the virtual and real copying rates. *) let elapsed_time = end_time -. start_time in - if verbose && elapsed_time > 0. then ( + if verbose () && elapsed_time > 0. then ( let mbps size time = Int64.to_float size /. 1024. /. 1024. *. 10. /. time in @@ -412,7 +412,7 @@ let rec main () = * for developer information only - so we can increase the * accuracy of the estimate. *) - if verbose then ( + if verbose () then ( match t....

.. and a lot of refactoring. https://bugzilla.redhat.com/show_bug.cgi?id=1167623 Rich.

https://bugzilla.redhat.com/show_bug.cgi?id=1167623