But when I try to use the eq assertion provided by the chimera framework I get an unsupported cheatcode error even though when I trace through the definition of eq there are no cheatcodes used.
I know I could just use a standard solidity assertion instead but would really like to use the one from chimera because the repo’s meant to be a demonstration of it and would like to clarify if this is an issue in my implementation or a bug.
daejunpark
commented
2 weeks ago
Describe the bug I’m working on adding halmos to this existing foundry repo: https://github.com/Recon-Fuzz/create-chimera-app/tree/halmos
But when I try to use the
eqassertion provided by the chimera framework I get an unsupported cheatcode error even though when I trace through the definition ofeqthere are no cheatcodes used.I know I could just use a standard solidity assertion instead but would really like to use the one from chimera because the repo’s meant to be a demonstration of it and would like to clarify if this is an issue in my implementation or a bug.
Implementation:
HalmosAsserts::eq
The above inherits from forge-std/test.sol:
To Reproduce Use the following repo: https://github.com/Recon-Fuzz/create-chimera-app/tree/halmos
Run:
halmos --mc HalmosTesterfrom rootEnvironment: