Corelib Verification
Verification of Cairo's Corelib using Aegis.
Currently based on version 2.11.4 of Corelib, compiled using --inlining_strategy avoid
.
Verification of Cairo's Corelib using Aegis.
Currently based on version 2.11.4 of Corelib, compiled using --inlining_strategy avoid
.