search

a16z / halmos

A symbolic testing tool for EVM smart contracts
GNU Affero General Public License v3.0
802 stars 65 forks source link

add support for prank(sender, origin) and startPrank(sender, origin) cheatcodes #336

Closed karmacoma-eth closed 1 month ago

karmacoma-eth commented 2 months ago

not sure what's going on with CI, some jobs flagging with:

 From https://github.com/Vectorized/multicaller
 * branch            b4a0dd037f1d770b2e9ae0b80bbd989707df43d0 -> FETCH_HEAD
fatal: Unable to find current revision in submodule path '../lib/multicaller/lib/forge-std'
fatal: Failed to recurse into submodule path '../lib/multicaller'
Your project has missing dependencies that could not be installed.
Error: 
failed to resolve file: "/home/runner/work/halmos/halmos/tests/regression/../lib/openzeppelin-contracts/contracts/proxy/ERC1967/ERC1967Proxy.sol": No such file or directory (os error 2); check configured remappings
    --> /home/runner/work/halmos/halmos/tests/regression/test/Proxy.t.sol
    openzeppelin/proxy/ERC1967/ERC1967Proxy.sol
karmacoma-eth commented 2 months ago

not sure what's going on with CI, some jobs flagging with:

 From https://github.com/Vectorized/multicaller
 * branch            b4a0dd037f1d770b2e9ae0b80bbd989707df43d0 -> FETCH_HEAD
fatal: Unable to find current revision in submodule path '../lib/multicaller/lib/forge-std'
fatal: Failed to recurse into submodule path '../lib/multicaller'
Your project has missing dependencies that could not be installed.
Error: 
failed to resolve file: "/home/runner/work/halmos/halmos/tests/regression/../lib/openzeppelin-contracts/contracts/proxy/ERC1967/ERC1967Proxy.sol": No such file or directory (os error 2); check configured remappings
  --> /home/runner/work/halmos/halmos/tests/regression/test/Proxy.t.sol
  openzeppelin/proxy/ERC1967/ERC1967Proxy.sol

fixed itself with enough re-running 🤷‍♂️

daejunpark commented 1 month ago

Note: issues #342 and #343 are orthogonal to this PR, so please feel free to merge this as is, and address them later.