Skip to content
Test cvc5

Fixes boolean compare and rename one function #11

Sign in to view logs

Fixes boolean compare and rename one function

Fixes boolean compare and rename one function #11

Triggered via push June 21, 2024 12:13
@filipeomfilipeom
pushed a22ebd6
main
Status Success
Total duration 5m 36s
Artifacts –

test-cvc5.yml

on: push
test-cvc5
5m 26s
test-cvc5
Fit to window
Zoom out
Zoom in