Describe the bug
Halmos is able to resolve library placeholders in code but does not do this in the case where the library's own code depends on another library.
To Reproduce
https://github.com/igorganich/size-solidity/pull/3/files - Use this PR and try to run halmos
Environment:
- OS: ubuntu wsl 24.04
- Python version: Python 3.13.1
- Halmos and other dependency versions: halmos 0.3.0
Additional context
You can use my unverified vibe-coded fix as a reference.
https://github.com/igorganich/halmos/pull/1/files
I haven't run it through tests and I'm not sure if it will work in the case of multiple nested libraries inside one library. I used it because I just needed to get everything up and running as quickly as possible.
Describe the bug
Halmos is able to resolve library placeholders in code but does not do this in the case where the library's own code depends on another library.
To Reproduce
https://github.com/igorganich/size-solidity/pull/3/files - Use this PR and try to run halmos
Environment:
Additional context
You can use my unverified vibe-coded fix as a reference.
https://github.com/igorganich/halmos/pull/1/files
I haven't run it through tests and I'm not sure if it will work in the case of multiple nested libraries inside one library. I used it because I just needed to get everything up and running as quickly as possible.