Search results

[Feature-request]: ERC-7702 Smart-EOA Properties

Status: Open.

#87 In crytic/properties;

· omarinuwa opened on Nov 27, 2025

[Feature-request]: Add Properties for <code>ERC1155</code> Contracts

Status: Open.

#57 In crytic/properties;

· pcaversaccio opened on Apr 24, 2024

[Bug-Candidate]: <code>PropertiesConstants.INITIAL_BALANCE</code> is an arbitrary value unrelated to Echidna default setup

Status: Open.

#52 In crytic/properties;

· aviggiano opened on Dec 27, 2023

PropertiesHelper: Investigation solutions to not collude with forge-st/Test.sol's assertion

Status: Open.

#51 In crytic/properties;

· montyly opened on Dec 6, 2023

[Feature-request]: concentrated liquidity/ tick math properties

Status: Open.

#50 In crytic/properties;

· 0xalpharush opened on Nov 27, 2023

[Bug-Candidate]: Rename "clamp" to avoid confusion

Status: Open.

#49 In crytic/properties;

· CodeSandwich opened on Nov 17, 2023

Add a writeup on the divuu vuln

Status: Open.

#47 In crytic/properties;

· montyly opened on Nov 3, 2023

[Feature-request]: foundry-compatible assertion helpers

Status: Open.

#42 In crytic/properties;

· aviggiano opened on Aug 30, 2023

Add helper to assert reverting transaction

Status: Open.

#40 In crytic/properties;

· montyly opened on Aug 4, 2023

Standardize the properties

Status: Open.

#39 In crytic/properties;

· montyly opened on Jul 26, 2023

[Feature-request]: MultiSig wallet properties

Status: Open.

#32 In crytic/properties;

· tuturu-tech opened on May 18, 2023

[Feature-request]: NFT minting properties

Status: Open.

#25 In crytic/properties;

· aviggiano opened on May 8, 2023