Skip to content
Test cvc5

Fixes boolean compare and rename one function #10

Sign in to view logs

Fixes boolean compare and rename one function

Fixes boolean compare and rename one function #10

Triggered via pull request June 21, 2024 11:57
@filipeomfilipeom
opened #156
small-patch
Status Success
Total duration 5m 24s
Artifacts –

test-cvc5.yml

on: pull_request
test-cvc5
5m 15s
test-cvc5
Fit to window
Zoom out
Zoom in