benchmarks: remove 'ERROR' prints

Signed-off-by: Reto Achermann <[email protected]>
verus-lang · Aug 19, 2024 · a1cc5ce · a1cc5ce
1 parent f8487d5
commit a1cc5ce
Show file tree

Hide file tree

Showing 5 changed files with 1 addition and 13 deletions.
diff --git a/benchmarks/ironsync/ironsync-osdi2023 b/benchmarks/ironsync/ironsync-osdi2023
diff --git a/benchmarks/upstream/benches/nr_vspace/main.rs b/benchmarks/upstream/benches/nr_vspace/main.rs
@@ -312,9 +312,6 @@ impl Default for VSpace {
                 )
                 .is_ok());
         }
-
-        // logging::error!("vs.mem_counter {}", vs.mem_counter);
-
         vs
     }
 }

diff --git a/benchmarks/upstream/src/nr_vspace.rs b/benchmarks/upstream/src/nr_vspace.rs
@@ -312,9 +312,6 @@ impl Default for VSpace {
                 )
                 .is_ok());
         }
-
-        // logging::error!("vs.mem_counter {}", vs.mem_counter);
-
         vs
     }
 }

diff --git a/benchmarks/verified/benches/vnr_vspace/main.rs b/benchmarks/verified/benches/vnr_vspace/main.rs
@@ -419,9 +419,6 @@ impl Default for VSpace {
                 )
                 .is_ok());
         }
-
-        logging::error!("vs.mem_counter {}", vs.mem_counter);
-
         vs
     }
 }

diff --git a/benchmarks/verified/src/vnr_vspace.rs b/benchmarks/verified/src/vnr_vspace.rs
@@ -383,9 +383,6 @@ impl Default for VSpace {
                 )
                 .is_ok());
         }
-
-        logging::error!("vs.mem_counter {}", vs.mem_counter);
-
         vs
     }
 }