From 5b82ac769339938570c0d1f7230afc53732993b4 Mon Sep 17 00:00:00 2001 From: Kamen Mladenov Date: Thu, 27 Feb 2025 11:35:32 +0200 Subject: chore: Rust fmt --- guests/graph_coloring/src/lib.rs | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) (limited to 'guests') diff --git a/guests/graph_coloring/src/lib.rs b/guests/graph_coloring/src/lib.rs index a0cdd3a..2fd0050 100644 --- a/guests/graph_coloring/src/lib.rs +++ b/guests/graph_coloring/src/lib.rs @@ -6,11 +6,7 @@ extern crate alloc; use alloc::vec::Vec; #[guests_macro::proving_entrypoint] -pub fn main( - graph: Vec>, - colors: u32, - coloring: Vec<[u32; 2]>, -) -> bool { +pub fn main(graph: Vec>, colors: u32, coloring: Vec<[u32; 2]>) -> bool { // Does it use the correct amount of colors? let mut max_color = coloring[0][1]; for nc in &coloring { @@ -25,7 +21,7 @@ pub fn main( for i in 0..graph.len() { for j in 0..graph.len() { // graph[i][j] -> coloring[i] != coloring[j] - ret = ret & (! graph[i][j] | (coloring[i][1] != coloring[j][1])); + ret = ret & (!graph[i][j] | (coloring[i][1] != coloring[j][1])); } } -- cgit v1.2.3