Open amontoison opened 4 months ago
I initially wanted to display the number of bytes allocated with the verbose mode but it's better if we have it in the stats.
# Storage requirements (verbose > 0) && (storage = sizeof(solver)) (verbose > 0) && @printf(iostream, "Size of the workspace: %s.\n", format_bytes(storage)) (verbose > 0) && @printf(iostream, "\n")
I initially wanted to display the number of bytes allocated with the verbose mode but it's better if we have it in the stats.