search

tezos-checker / checker

An in-development "robocoin" system for the Tezos blockchain
24 stars 16 forks source link

Add additional unit tests for burrow.ml #175

Closed dorranh closed 3 years ago

dorranh commented 3 years ago

Adds unit tests which address the following mutations which failed (i.e. did not break the current test suite) during mutation testing:

burrow_return_kit_from_auction    kit_add -> kit_max (L193)
burrow_is_cancellation_warranted  sub_int_int -> add_int_int (L445)