Skip to content
Test cvc5

Coverage-guided tests for simplifications #41

Sign in to view logs

Coverage-guided tests for simplifications

Coverage-guided tests for simplifications #41

Triggered via pull request June 28, 2024 10:46
@filipeomfilipeom
opened #167
test-simplifications
Status Success
Total duration 2m 32s
Artifacts –

test-cvc5.yml

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