diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-02-27 11:35:32 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-02-27 15:08:11 +0200 |
| commit | 5b82ac769339938570c0d1f7230afc53732993b4 (patch) | |
| tree | b510f409458097a3c473ab80791a7717961ebd5b /guests | |
| parent | 39ec264c0d90555237debff519cc890b755a0646 (diff) | |
| download | zkVMs-benchmarks-5b82ac769339938570c0d1f7230afc53732993b4.tar zkVMs-benchmarks-5b82ac769339938570c0d1f7230afc53732993b4.tar.gz zkVMs-benchmarks-5b82ac769339938570c0d1f7230afc53732993b4.zip | |
chore: Rust fmt
Diffstat (limited to 'guests')
| -rw-r--r-- | guests/graph_coloring/src/lib.rs | 8 |
1 files changed, 2 insertions, 6 deletions
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<Vec<bool>>, - colors: u32, - coloring: Vec<[u32; 2]>, -) -> bool { +pub fn main(graph: Vec<Vec<bool>>, 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])); } } |