Better SMT2 debugging #1992

Sign in to view logs

Triggered via pull request September 6, 2023 14:40

msooseth

opened #374

fix-debugging-smt2

Status Failure

Total duration 1h 17m 30s

Artifacts –

build.yml

on: pull_request

build (windows-latest)

Matrix: extra-tests

Matrix: nix-build

Annotations

2 errors and 1 warning

nix-build (macos-latest)

Process completed with exit code 1.

nix-build (ubuntu-latest)

Process completed with exit code 1.

build (windows-latest): src/EVM/SymExec.hs#L668

Defined but not used: ‘idx’