-
It is possible that void_total is exactly equal to not_used and the other assertions for this check for <= rather than <.
ed4cbd93
It is possible that void_total is exactly equal to not_used and the other assertions for this check for <= rather than <.