stdlib / refine
✓ 19 passing
Lessons
1 ✓
Passing
001 refine bounds meet
2 ✓
Passing 002 refine conflict refused
3 ✓
Passing 003 refine layers across modules
4 ✓
Passing 004 refine unknown field refused
5 ✓
Passing 005 refine base mismatch refused
6 ✓
Passing 006 refine blocks meet confluently
7 ✓
Passing 007 refine enforced by list push
8 ✓
Passing 008 refine guard admits valid push
9 ✓
Passing 009 refine violation handled survives
10 ✓
Passing 010 refine violation forwarded
11 ✓
Passing 011 refine clamp coerces
12 ✓
Passing 012 refine clamp then check
13 ✓
Passing 013 refine clamp empty meet refused
14 ✓
Passing 014 refine clamps meet
15 ✓
Passing 015 refine terminal base meets
16 ✓
Passing 016 refine terminal base clamps
17 ✓
Passing 017 refine nonint terminal refused
18 ✓
Passing 018 explain reports facets
19 ✓
Passing 019 explain reports refusals