Skip to content
CI

Use CVC5 instead of Z3 #8

Sign in to view logs

Use CVC5 instead of Z3

Use CVC5 instead of Z3 #8

Triggered via pull request November 9, 2024 21:18
@AllanBlanchardAllanBlanchard
synchronize #69
config/move-from-z3-to-cvc5
Status Success
Total duration 5m 16s
Artifacts 2

ci.yml

on: pull_request
EN version
3m 12s
EN version
FR version
3m 34s
FR version
Check code
5m 8s
Check code
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
frama-c-wp-tutorial-en.pdf
3.59 MB
frama-c-wp-tutoriel-fr.pdf
3.63 MB