Support multi file contracts

martriay / nile-verifier-plugin

MIT License

9 stars 1 forks source link

Open ericglau opened 1 year ago

ericglau commented 1 year ago

Support nile v0.13
Support multi file contracts by including all imported libraries in the verification. Example: https://testnet.starkscan.co/class/0x2b956b4c9b00bc77dbd38193732256e98372b43650297b60aa71808d20b105c#code
Add tests
Add GitHub action for tests

ericglau commented 1 year ago

@martriay This is ready for review. Please enable the test workflow for the tests to be run.