Skip to content

Conversation

@fiaravia
Copy link

@fiaravia fiaravia commented Aug 6, 2025

created a regression test for testing value initialization in the constructor

@fsainas
Copy link
Owner

fsainas commented Oct 5, 2025

Thanks for the PR! The regression collection doesn't use the versions/ directory, the file inside should be moved outside to stay consistent with the repo’s structure.

Could you also explain the purpose of the solcmc/generated/ directory?

@fiaravia
Copy link
Author

fiaravia commented Oct 8, 2025

the /generated directory is the result of a small script that we added, that injects the required solcmc code directly into the contract avoiding the need to manually write every possible rule/contract combination.
We can of course remove it if you prefer the original structure.

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