All macro trace tests passing

common/src/trace.rs

@@ -8,32 +8,6 @@ pub use proofman_macros::trace;
 #[cfg(test)]
 use crate as common;
 
-#[test]
-fn check() {
-    const OFFSET: usize = 1;
-    let num_rows = 8;
-
-    trace!(TraceRow, MyTrace<F> { a: F, b:F});
-
-    assert_eq!(TraceRow::<usize>::ROW_SIZE, 2);
-
-    let mut buffer = vec![0usize; num_rows * TraceRow::<usize>::ROW_SIZE + OFFSET];
-    let trace = MyTrace::map_buffer(&mut buffer, num_rows, OFFSET);
-    let mut trace = trace.unwrap();
-
-    // Set values
-    for i in 0..num_rows {
-        trace[i].a = i;
-        trace[i].b = i * 10;
-    }
-
-    // Check values
-    for i in 0..num_rows {
-        assert_eq!(trace[i].a, i);
-        assert_eq!(trace[i].b, i * 10);
-    }
-}
-
 #[test]
 #[should_panic]
 fn test_errors_are_launched_when_num_rows_is_invalid_1() {
@@ -64,6 +38,32 @@ fn test_errors_are_launched_when_num_rows_is_invalid_4() {
     let _ = Simple::<u8>::new(3);
 }
 
+#[test]
+fn check() {
+    const OFFSET: usize = 1;
+    let num_rows = 8;
+
+    trace!(TraceRow, MyTrace<F> { a: F, b:F});
+
+    assert_eq!(TraceRow::<usize>::ROW_SIZE, 2);
+
+    let mut buffer = vec![0usize; num_rows * TraceRow::<usize>::ROW_SIZE + OFFSET];
+    let trace = MyTrace::map_buffer(&mut buffer, num_rows, OFFSET);
+    let mut trace = trace.unwrap();
+
+    // Set values
+    for i in 0..num_rows {
+        trace[i].a = i;
+        trace[i].b = i * 10;
+    }
+
+    // Check values
+    for i in 0..num_rows {
+        assert_eq!(trace[i].a, i);
+        assert_eq!(trace[i].b, i * 10);
+    }
+}
+
 #[test]
 fn check_array() {
     let num_rows = 8;
@@ -152,8 +152,6 @@ fn check_multi_array_2() {
         trace[i].c[1] = i + 2;
     }
 
-    println!("{:?}", buffer);
-
     // Check values
     for i in 0..num_rows {
         assert_eq!(buffer[i * TraceRow::<usize>::ROW_SIZE], i);

macros/src/lib.rs

@@ -39,6 +39,7 @@ fn trace_impl(input: TokenStream2) -> Result<TokenStream2> {
     });
 
     let row_struct = quote! {
+        #[repr(C)]
         #[derive(Debug, Clone, Copy, Default)]
         pub struct #row_struct_name<#generics> {
             #(#field_definitions)*