Skip to content

chore: mv const assertions#39

Merged
tcoratger merged 2 commits intoleanEthereum:mainfrom
tcoratger:const-assertions
Mar 16, 2026
Merged

chore: mv const assertions#39
tcoratger merged 2 commits intoleanEthereum:mainfrom
tcoratger:const-assertions

Conversation

@tcoratger
Copy link
Contributor

Before this, we needed internal_consistency_check that was under test config but I found it a bit weird since all the assertions could be made constants.

Then we can simplify a lot by removing completely internal_consistency_check and just put assertions as const { } so that they are evaluation at compile time (no impact on runtime) and we can simply remove internal_consistency_check completely.

@tcoratger tcoratger merged commit 426e49b into leanEthereum:main Mar 16, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants