use 1 by default

just-max · Aug 9, 2024 · f0537c8 · f0537c8
1 parent e9170ef
commit f0537c8
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/test-lib/grading.ml b/src/test-lib/grading.ml
@@ -349,8 +349,9 @@ let process_files ?cleanup ?grade ?log_result paths =
   match grade with
   | None -> ()
   | Some (g, points_step_count, grading_to) ->
-      let result = evaluate_grading ?points_step_count g (List.concat ts) in
-      write_result ?log_result ?points_step_count result grading_to
+      let points_step_count = points_step_count |> Option.value ~default:1 in
+      let result = evaluate_grading ~points_step_count g (List.concat ts) in
+      write_result ?log_result ~points_step_count result grading_to
 
 (* compat, deprecated *)
 let prettify_results ?grading path =