Skip to content
VeriFast

Challenge 22: Verify safety of str iter functions #1164

Sign in to view logs

Challenge 22: Verify safety of str iter functions

Challenge 22: Verify safety of str iter functions #1164

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Verify std library
31s
Notify @btj
-1s
30s