Remove more unused functions in ratio.ml (fraction_to_tez_ceil, fraction_to_nat_floor)

tezos-checker / checker

An in-development "robocoin" system for the Tezos blockchain

24 stars 16 forks source link

Remove more unused functions in ratio.ml (fraction_to_tez_ceil, fraction_to_nat_floor) #165

Closed gkaracha closed 3 years ago

gkaracha commented 3 years ago

This change increases test coverage by almost 1% (88.38% => 89.33%) however these numbers do not take into account checkerMain.ml and checkerEntrypoints.ml, as stated in #163.