stdlib / refine
✓ 35 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
20 ✓
Passing 020 refine target scoped variant
21 ✓
Passing 021 refine scope conflict refused
22 ✓
Passing 022 refine eq atom admits and violates
23 ✓
Passing 023 refine eq contradiction refused
24 ✓
Passing 024 refine eq blocks conflict refused
25 ✓
Passing 025 refine eq scope conflict refused
26 ✓
Passing 026 refine eq outside bounds refused
27 ✓
Passing 027 refine eq enforced by store insert
28 ✓
Passing 028 refine eq explain reports
29 ✓
Passing 029 refine alt set admits and violates
30 ✓
Passing 030 refine alt sets meet
31 ✓
Passing 031 refine alt disjoint refused
32 ✓
Passing 032 refine alt filtered by bounds
33 ✓
Passing 033 refine alt singleton collapses
34 ✓
Passing 034 refine alt default reported
35 ✓
Passing 035 refine alt enforced by store insert