This repository was archived by the owner on Jul 5, 2024. It is now read-only.

Merged

add non static call constraint for sstore #467

Merge branch 'main' into sstore_static

Workflow runs completed with no jobs