You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
WARNING:Halmos:check_counter_symbolic(bytes4[],(uint256,address,address,uint256,uint256)[]): all paths have been reverted; the setup state or inputs may have been too restrictive.
I can run forge test --match-test test_counterSymbolic -vv
To reproduce a test that will pass, and doesn't revert
Describe the bug
I run
In this repo:
https://github.com/GalloDaSballo/halmos-loop-bug-repro
It fails with:
I can run
forge test --match-test test_counterSymbolic -vv
To reproduce a test that will pass, and doesn't revert
To Reproduce
Clone
Run
Environment:
Additional context
Running with
Doesn't cause the message and instead allows Halmos to run the prover
The text was updated successfully, but these errors were encountered: