cvc5 for SMT-COMP 2025 #245
hansjoergschurrtest-solver.yml
on: pull_request
generate-test-script
47s
run-test-script
1m 10s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
generated_script
Expired
|
32.6 MB |
sha256:ff358ba8ba6fcdbb03bbb892862ebbdafbc75e22a513a9ac882f65637764447e
|
|