Skip to content
RAPx

Challenge 10: Verify memory safety of String functions with Kani #299

Sign in to view logs

Challenge 10: Verify memory safety of String functions with Kani

Challenge 10: Verify memory safety of String functions with Kani #299

Run time

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