Closed lekhovitsky closed 10 months ago
bound
vm.assume
creditManager.liquidateCreditAccount
CreditLogic
:tada: This PR is included in version 1.45.8 :tada:
The release is available on:
Your semantic-release bot :package::rocket:
bound
instead ofvm.assume
for numeric variables to reduce the number of test rejectscreditManager.liquidateCreditAccount
fuzzingCreditLogic
fuzzing