Search results

Make <code>increaseAllowance</code>/<code>decreaseAllowance</code> checks optional

Status: Open.

#17 In runtimeverification/ercx-tests;

· palinatolmach opened on Sep 23, 2025

Add <code>SUM(convertToAssets(balanceOf()) &lt;= totalAssets()</code> property to ERC4626 tests

Status: Open.

#15 In runtimeverification/ercx-tests;

· aviggiano opened on Jul 21, 2025

Use <code>bound</code> for range assumptions

Status: Open.

#14 In runtimeverification/ercx-tests;

· palinatolmach opened on Jul 8, 2025

Allow customizing the fuzzer input bounds

Status: Open.

#10 In runtimeverification/ercx-tests;

· aviggiano opened on Jul 4, 2025

Allow overriding ERC4626 default behavior

Status: Open.

#8 In runtimeverification/ercx-tests;

· aviggiano opened on Jul 4, 2025

Some ERC4626 properties seem invalid

Status: Open.

#6 In runtimeverification/ercx-tests;

· aviggiano opened on Jul 2, 2025