wip

mdr · Dec 2, 2024 · 49ceed2 · 49ceed2
1 parent fdd21b6
commit 49ceed2
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/Aoc2024/Day02/Solve.lean b/Aoc2024/Day02/Solve.lean
@@ -27,6 +27,13 @@ def parseAndSolvePart1 (s : String): Except String Int := parseReports s |>.map
 private def isSafeWithTolerance (report : Report) : Bool :=
   List.range report.length |>.map report.removeNth |>.any isSafe
 
+#guard isSafeWithTolerance [7, 6, 4, 2, 1] == true
+#guard isSafeWithTolerance [1, 2, 7, 8, 9] == false
+#guard isSafeWithTolerance [9, 7, 6, 2, 1] == false
+#guard isSafeWithTolerance [1, 3, 2, 4, 5] == true
+#guard isSafeWithTolerance [8, 6, 4, 4, 1] == true
+#guard isSafeWithTolerance [1, 3, 6, 7, 9] == true
+
 private def solvePart2 (reports : List Report) : Int := reports.countP isSafeWithTolerance
 
 def parseAndSolvePart2 (s : String): Except String Int := parseReports s |>.map solvePart2