stdlib / string
✓ 13 passing ✗ 1 failing
Lessons
1 ✓
Passing
001 string basic
2 ✓
Passing 002 string ownership
3 ✓
Passing 003 auto free unused string
4 ✓
Passing 004 reject write on view
5 ✓
Passing 005 reject use after free
6 ✓
Passing 006 reject double free
7 ✗
Failing 007 reject dangling slice — must-fail-passed
8 ✓
Passing 008 parse int
9 ✓
Passing 009 contains
10 ✓
Passing 010 index of
11 ✓
Passing 011 substring
12 ✓
Passing 012 chained multi resource discharge
13 ✓
Passing 013 from int
14 ✓
Passing 014 auto free string