Fail when checking definition with Z3 returns Unknown #4960

Sign in to view logs

Triggered via pull request July 27, 2023 15:58

goodlyrottenapple

synchronize #3628

sam/declare-smt-lemmas-unknown-fix

Status Failure

Total duration 50m 48s

Artifacts –

test.yml

on: pull_request

Auto-formatting

Matrix: Nix / Unit Tests

Cabal / Unit Tests

Stack / Unit Tests

Stack / Haddock check

Nix / Integration

Annotations

1 error

Nix / Integration

Process completed with exit code 2.