Skip to content
Test cvc5

Add --from-file argument to run command #187

Sign in to view logs

Add --from-file argument to run command

Add --from-file argument to run command #187

Triggered via pull request October 7, 2024 19:14
@filipeomfilipeom
synchronize #227
from-file
Status Success
Total duration 32m 57s
Artifacts –

test-cvc5.yml

on: pull_request
test-cvc5
32m 46s
test-cvc5
Fit to window
Zoom out
Zoom in