Pytest profiles
daejunpark opened this issue · comments
Create pytest profiles that can be run both in the ci and locally, given that the pytest configurations are becoming more complicated.
A symbolic testing tool for EVM smart contracts
daejunpark opened this issue · comments
Create pytest profiles that can be run both in the ci and locally, given that the pytest configurations are becoming more complicated.