Skip to content
Test cvc5

Coverage-guided tests for simplifications #43

Sign in to view logs

Coverage-guided tests for simplifications

Coverage-guided tests for simplifications #43

Triggered via pull request June 28, 2024 12:20
@filipeomfilipeom
synchronize #167
test-simplifications
Status Success
Total duration 2m 37s
Artifacts –

test-cvc5.yml

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