Skip to content
RAPx

Challenge 13: contracts and proofs for CStr trait implementations and safe methods #38

Sign in to view logs

Challenge 13: contracts and proofs for CStr trait implementations and safe methods

Challenge 13: contracts and proofs for CStr trait implementations and safe methods #38

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Verify core::slice with RAPx
2m 20s
2m 20s