Skip to content
Test cvc5

Add conflicts on solvers versions outside depopt range #33

Sign in to view logs

Add conflicts on solvers versions outside depopt range

Add conflicts on solvers versions outside depopt range #33

Triggered via pull request June 27, 2024 13:44
@krtabkrtab
opened #165
depts_conflicts
Status Success
Total duration 3m 28s
Artifacts –

test-cvc5.yml

on: pull_request
test-cvc5
3m 18s
test-cvc5
Fit to window
Zoom out
Zoom in