Skip to main content
OverflowAI is here! AI power for your Stack Overflow for Teams knowledge community. Learn more

Questions tagged [halmos]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
1 answer

Halmos counterexamples not the actual counterexamples

I have the following test: function check_strippedSqrt(uint256 randomNumber) public pure { assert(_solmateSqrtStripped(randomNumber) == _mathMastersSqrtStripped(randomNumber)); } ...
Patrick Collins's user avatar
1 vote
1 answer

Halmos: Not catching my obvious bug

I have the following smart contract that I'm looking to apply formal verification to. // SPDX-License-Identifier: MIT pragma solidity 0.8.20; contract FuzzCanCatch { uint256 public total; ...
Patrick Collins's user avatar