Changed implementation of provided tests so that it detects how many …

…tests were written instead of having to type it
hazelgrove · Nov 11, 2024 · a09ceb2 · a09ceb2
1 parent ae33a8b
commit a09ceb2
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 25 deletions.
diff --git a/src/haz3lweb/Grading.re b/src/haz3lweb/Grading.re
@@ -61,7 +61,6 @@ module TestValidationReport = {
         report: t,
         max_points: int,
         max_tests: int,
-        prov_tests: int,
         settings: Settings.t,
       ) => {
     Cell.report_footer_view([
@@ -103,21 +102,6 @@ module TestValidationReport = {
                           ),
                         ],
                       ),
-                      div(
-                        ~attrs=[Attr.class_("input-field")],
-                        [
-                          label([text("Tests provided:")]),
-                          input(
-                            ~attrs=[
-                              Attr.type_("number"),
-                              Attr.class_("point-num-input"),
-                              Attr.id("test-provided-input"),
-                              Attr.value(string_of_int(prov_tests)),
-                            ],
-                            (),
-                          ),
-                        ],
-                      ),
                       div(
                         ~attrs=[Attr.class_("edit-icon")],
                         [
@@ -139,21 +123,18 @@ module TestValidationReport = {
                                   ),
                                 )##.value;
                               let new_prov_test =
-                                Obj.magic(
-                                  Js_of_ocaml.Js.some(
-                                    JsUtil.get_elem_by_id(
-                                      "test-provided-input",
-                                    ),
-                                  ),
-                                )##.value;
+                                switch (report.test_results) {
+                                | Some(test_results) => test_results.total
+                                | None => 0
+                                };
 
                               let update_events = [
                                 inject(Set(EditingTestValRep)),
                                 inject(
                                   UpdateTestValRep(
                                     int_of_string(new_test_num),
                                     int_of_string(new_dist),
-                                    int_of_string(new_prov_test),
+                                    new_prov_test,
                                   ),
                                 ),
                               ];

diff --git a/src/haz3lweb/view/ExerciseMode.re b/src/haz3lweb/view/ExerciseMode.re
@@ -341,7 +341,6 @@ let view =
             grading_report.test_validation_report,
             grading_report.point_distribution.test_validation,
             eds.your_tests.required,
-            eds.your_tests.provided,
             settings,
           ),
         ],