Skip to content
Test cvc5

Extend concrete evaluation #8

Sign in to view logs

Extend concrete evaluation

Extend concrete evaluation #8

Triggered via pull request June 21, 2024 09:05
@filipeomfilipeom
synchronize #101
extend_ops
Status Success
Total duration 2m 26s
Artifacts –

test-cvc5.yml

on: pull_request
test-cvc5
2m 17s
test-cvc5
Fit to window
Zoom out
Zoom in