Replace inv_test_minimum value with the correct one

crytic / properties

Pre-built security properties for common Ethereum operations

GNU Affero General Public License v3.0

287 stars 44 forks source link

Closed tuturu-tech closed 1 year ago

tuturu-tech commented 1 year ago

Changed the test so it uses the minimum value as the name suggests.