Fail when checking definition with Z3 returns Unknown #4962

Sign in to view logs

Re-run triggered July 28, 2023 08:54

goodlyrottenapple

#3628

sam/declare-smt-lemmas-unknown-fix

Status Success

Total duration 1h 15m 9s

Artifacts –

test.yml

on: pull_request

Auto-formatting

Matrix: Nix / Unit Tests

Cabal / Unit Tests

Stack / Unit Tests

Stack / Haddock check

Nix / Integration