Skip to content
Test

Improve unsatisfied output #83

Sign in to view logs

Improve unsatisfied output

Improve unsatisfied output #83

Triggered via pull request December 14, 2023 22:09
@zaniebzanieb
opened #31
zb/unsat-view
Status Success
Total duration 34s
Artifacts –

test.yaml

on: pull_request
Matrix: python-tests
Fit to window
Zoom out
Zoom in