Test cvc5

Don't hc bool values unecessarily #20

Sign in to view logs

Summary
Jobs
- test-cvc5
Run details
- Usage
- Workflow file

Triggered via pull request June 23, 2024 09:37

filipeom

synchronize #157

filipeom-patch-1

Status Success

Total duration 5m 33s

Artifacts –

test-cvc5.yml

on: pull_request