Skip to content

feat(contracts): implement minimum borrow amount constraint to prevent spam dust loans #20

feat(contracts): implement minimum borrow amount constraint to prevent spam dust loans

feat(contracts): implement minimum borrow amount constraint to prevent spam dust loans #20

Annotations

2 errors and 1 warning

Kani Model Checking

cancelled Aug 30, 2026 in 6h 0m 16s