fix clippy

zkMIPS · Sep 26, 2024 · 8434023 · 8434023
1 parent 562ebeb
commit 8434023
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/prover/examples/zkmips.rs b/prover/examples/zkmips.rs
@@ -278,7 +278,7 @@ fn prove_sha2_rust() {
 
  let mut seg_num = 1usize;
  if seg_size != 0 {
- seg_num = (total_steps + seg_size - 1) / seg_size;
+ seg_num = (total_steps + seg_size - 1).div_ceil(seg_size);
  }
  prove_multi_seg_common(&seg_path, "", "", "", seg_size, seg_num, 0).unwrap()
 }
@@ -319,7 +319,7 @@ fn prove_sha2_go() {
 
  let mut seg_num = 1usize;
  if seg_size != 0 {
- seg_num = (total_steps + seg_size - 1) / seg_size;
+ seg_num = (total_steps + seg_size - 1).div_ceil(seg_size);
  }
 
  prove_multi_seg_common(&seg_path, "", "", "", seg_size, seg_num, 0).unwrap()
@@ -344,7 +344,7 @@ fn prove_revm() {
 
  let mut seg_num = 1usize;
  if seg_size != 0 {
- seg_num = (total_steps + seg_size - 1) / seg_size;
+ seg_num = (total_steps + seg_size - 1).div_ceil(seg_size);
  }
 
  if seg_num == 1 {
@@ -430,7 +430,7 @@ fn prove_add_example() {
 
  let mut seg_num = 1usize;
  if seg_size != 0 {
- seg_num = (total_steps + seg_size - 1) / seg_size;
+ seg_num = (total_steps + seg_size - 1).div_ceil(seg_size);
  }
 
  if seg_num == 1 {

diff --git a/runtime/entrypoint/src/syscalls/mod.rs b/runtime/entrypoint/src/syscalls/mod.rs
@@ -12,7 +12,7 @@ pub use sys::*;
 
 /// These codes MUST match the codes in `core/src/runtime/syscall.rs`. There is a derived test
 /// that checks that the enum is consistent with the syscalls.
-
+///
 /// Halts the program.
 pub const HALT: u32 = 4246u32;