Skip to content
VeriFast (negative)

Challenge 23: Verify safety of Vec functions part 1 #1148

Sign in to view logs

Challenge 23: Verify safety of Vec functions part 1

Challenge 23: Verify safety of Vec functions part 1 #1148

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Verify std library
29s
29s