karmacoma

escaped characters in json are not parsed correctly

1

Repro: ```solidity // SPDX-License-Identifier: MIT pragma solidity ^0.8.17; import {stdJson} from "forge-std/StdJson.sol"; import "forge-std/Test.sol"; contract JsonTest is Test { function testEscapedQuotes() public { string memory json = '{"foo":"quotation mark: \'\\"\'...

Reproduce with: ``` disease --code 0x6142 ``` Expected output: 0: push2 0x4200 Actual output: nothing Tested with etk-dasm 0.2.1

ipfs-car accepts --cidVersion flag defaulting to 1, any other value results in an error. When cidVersion is set to 0, we need to override rawLeaves' value to false, otherwise js-ipfs-unixfs's...

That would be the professional thing to do, right?

Invariant violation not found on simple 2 step owner transfer test

10

### Component Forge ### Have you ensured that all of these are up to date? - [X] Foundry - [X] Foundryup ### What version of Foundry are you on? forge...

Support properties of the form `must always emit an event when storage is updated `

3

Example here with Certora: https://github.com/Cyfrin/3-gas-bad-nft-marketplace-audit/blob/main/certora/spec/GasBadNft.spec

--early-exit doesn't work as expected

1

**Describe the bug** `--early-exit` is supposed to print the first counterexample found and stop halmos, but we can actually still have multiple counterexamples reported **To Reproduce** ``` // SPDX-License-Identifier: MIT...

Improve testing of EVM correctness

1

## Problem Halmos is essentially a light EVM interpreter (without gas), and because we're in the business of looking for corner cases of EVM bytecode, it is actually mission critical...

Create a halmos Docker image with multiple solvers preinstalled

1

Description TBD