tests

apps/spiral/builder/spiral_builder.dib

@@ -9,7 +9,8 @@
 #!spiral
 
 open file_system_operators
-open rust_operators
+open rust.rust_operators
+open rust
 open sm'_operators
 
 #!spiral
@@ -1791,18 +1792,18 @@ disposable |> use |> ignore
 #!spiral
 
 inl tests () =
-    rust.run_tests [
-        "verify_app", fun _ =>
+    testing.run_tests {
+        verify_app = fun (_ : string) =>
             get_command () |> runtime.command_debug_assert
-    ]
+    }
 
 #!markdown
 
 ## main
 
 #!spiral
 
-///! 
+///! _
 
 inl main (args : array_base string) =
     inl trace_state = get_trace_state_or_init None

apps/spiral/builder/spiral_builder.spi

@@ -1,6 +1,7 @@
 /// # spiral_builder
 open file_system_operators
-open rust_operators
+open rust.rust_operators
+open rust
 open sm'_operators
 
 /// ## get_args
@@ -1452,13 +1453,13 @@ let rec run trace_level (matches : runtime.arg_matches) : async.future_pin (resu
 
 /// ## tests
 inl tests () =
-    rust.run_tests [
-        "verify_app", fun _ =>
+    testing.run_tests {
+        verify_app = fun (_ : string) =>
             get_command () |> runtime.command_debug_assert
-    ]
+    }
 
 /// ## main
-///! 
+///! _
 
 inl main (args : array_base string) =
     inl trace_state = get_trace_state_or_init None

lib/math/math.dib

@@ -9,7 +9,8 @@
 #!spiral
 
 open testing
-open rust_operators
+open rust.rust_operators
+open rust
 
 #!markdown
 
@@ -839,43 +840,43 @@ graph TD
 #!spiral
 
 inl tests () =
-    rust.run_tests [
-    "test_zeta_at_known_values_", fun _ =>
-        test_zeta_at_known_values_ false
+    testing.run_tests {
+        test_zeta_at_known_values_ = fun (_ : string) =>
+            test_zeta_at_known_values_ false
 
-    "test_zeta_at_2_minus2", fun _ =>
-        test_zeta_at_2_minus2 false
+        test_zeta_at_2_minus2 = fun (_ : string) =>
+            test_zeta_at_2_minus2 false
 
-    "test_trivial_zero_at_negative_even___", fun _ =>
-        test_trivial_zero_at_negative_even___ false
+        test_trivial_zero_at_negative_even___ = fun (_ : string) =>
+            test_trivial_zero_at_negative_even___ false
 
-    "test_non_trivial_zero___", fun _ =>
-        test_non_trivial_zero___ false
+        test_non_trivial_zero___ = fun (_ : string) =>
+            test_non_trivial_zero___ false
 
-    "test_real_part_greater_than_one___", fun _ =>
-        test_real_part_greater_than_one___ false
+        test_real_part_greater_than_one___ = fun (_ : string) =>
+            test_real_part_greater_than_one___ false
 
-    "test_zeta_at_1___", fun _ =>
-        test_zeta_at_1___ false
+        test_zeta_at_1___ = fun (_ : string) =>
+            test_zeta_at_1___ false
 
-    "test_symmetry_across_real_axis___", fun _ =>
-        test_symmetry_across_real_axis___ false
+        test_symmetry_across_real_axis___ = fun (_ : string) =>
+            test_symmetry_across_real_axis___ false
 
-    "test_behavior_near_origin___", fun _ =>
-        test_behavior_near_origin___ false
+        test_behavior_near_origin___ = fun (_ : string) =>
+            test_behavior_near_origin___ false
 
-    "test_imaginary_axis", fun _ =>
-        test_imaginary_axis false
+        test_imaginary_axis = fun (_ : string) =>
+            test_imaginary_axis false
 
-    "test_critical_strip", fun _ =>
-        test_critical_strip false
+        test_critical_strip = fun (_ : string) =>
+            test_critical_strip false
 
-    "test_reflection_formula_for_specific_value", fun _ =>
-        test_reflection_formula_for_specific_value false
+        test_reflection_formula_for_specific_value = fun (_ : string) =>
+            test_reflection_formula_for_specific_value false
 
-    "test_euler_product_formula", fun _ =>
-        test_euler_product_formula false
-    ]
+        test_euler_product_formula = fun (_ : string) =>
+            test_euler_product_formula false
+    }
 
 #!spiral