diff options
| author | Kamen Mladenov <kamen@syndamia.com> | 2025-02-27 11:35:32 +0200 |
|---|---|---|
| committer | Kamen Mladenov <kamen@syndamia.com> | 2025-02-27 11:35:32 +0200 |
| commit | 9b0da28632c2d5ffc42bf647213a8990fa0cbffb (patch) | |
| tree | b510f409458097a3c473ab80791a7717961ebd5b /guests | |
| parent | 30f518fa36be8378d86b28e8eab2433151fe616a (diff) | |
| download | zkVMs-benchmarks-9b0da28632c2d5ffc42bf647213a8990fa0cbffb.tar zkVMs-benchmarks-9b0da28632c2d5ffc42bf647213a8990fa0cbffb.tar.gz zkVMs-benchmarks-9b0da28632c2d5ffc42bf647213a8990fa0cbffb.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])); } } |