Skip to content
Test cvc5

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

Sign in to view logs

Add --from-file argument to run command

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

Triggered via pull request October 7, 2024 18:15
@filipeomfilipeom
opened #227
from-file
Status Success
Total duration 31m 57s
Artifacts –

test-cvc5.yml

on: pull_request
test-cvc5
31m 48s
test-cvc5
Fit to window
Zoom out
Zoom in