From 84340237e87ad49af6c0bab3b0fe1bfe3d96706f Mon Sep 17 00:00:00 2001 From: Angell Li Date: Thu, 26 Sep 2024 10:29:35 +0800 Subject: [PATCH] fix clippy --- prover/examples/zkmips.rs | 8 ++++---- runtime/entrypoint/src/syscalls/mod.rs | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/prover/examples/zkmips.rs b/prover/examples/zkmips.rs index 5646a7af..7c4aed55 100644 --- 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 index 4e4020f7..f08ab8e5 100644 --- 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;