Pickles: rm unit tests in Step_verifier

They now are in the test subdirectory.
MinaProtocol · Nov 29, 2023 · 4ec7b13 · 4ec7b13
1 parent 640afe8
commit 4ec7b13
Showing 1 changed file with 0 additions and 32 deletions.
diff --git a/src/lib/pickles/step_verifier.ml b/src/lib/pickles/step_verifier.ml
@@ -682,38 +682,6 @@ struct
       in
       domain ~max:(Domain.log2_size max_domains.h)
 
-  let%test_module "side loaded domains" =
-    ( module struct
-      let run k =
-        let y =
-          run_and_check (fun () ->
-              let y = k () in
-              fun () -> As_prover.read_var y )
-          |> Or_error.ok_exn
-        in
-        y
-
-      let%test_unit "side loaded domains" =
-        let open Side_loaded_verification_key in
-        let domains = [ { Domains.h = 10 }; { h = 15 } ] in
-        let pt = Field.Constant.random () in
-        List.iter domains ~f:(fun ds ->
-            let d_unchecked =
-              Plonk_checks.domain
-                (module Field.Constant)
-                (Pow_2_roots_of_unity ds.h) ~shifts:Common.tick_shifts
-                ~domain_generator:Backend.Tick.Field.domain_generator
-            in
-            let checked_domain () =
-              side_loaded_domain ~log2_size:(Field.of_int ds.h)
-            in
-            [%test_eq: Field.Constant.t]
-              (d_unchecked#vanishing_polynomial pt)
-              (run (fun () ->
-                   (checked_domain ())#vanishing_polynomial (Field.constant pt) )
-              ) )
-    end )
-
   (* module Split_evaluations = struct
        open Plonk_types