Unsupported cheatcode error

[nican0r]

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 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.

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 HalmosTester from root

Environment:

• OS: macOS Sonoma 14.5
• Python version: Python 3.10.10

[daejunpark]

we're working on this in #323

[karmacoma-eth]

should be fixed now that #323 is merged and should be available in the soon-to-be-released halmos v0.1.14