Skip to content
Build Xen with CPROVER tools

Pointer subtraction in back-end: no need for bounds checking #9640

Sign in to view logs

Pointer subtraction in back-end: no need for bounds checking

Pointer subtraction in back-end: no need for bounds checking #9640

Run time

Learn about OS pricing on GitHub Actions
Job Run time
CompileXen
11m 31s
11m 31s