Skip to content

add failing test: compiler should reject duplicate name - #43

Merged
TomWambsgans merged 2 commits into
leanEthereum:mainfrom
lita-xyz:morgan/duplicate-name
Sep 22, 2025
Merged

add failing test: compiler should reject duplicate name#43
TomWambsgans merged 2 commits into
leanEthereum:mainfrom
lita-xyz:morgan/duplicate-name

add test of duplicate constant name and duplicate name checks

f99f22e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs