Add check option for paxos example to maintain bench (#78)

stateright · Apr 14, 2024 · 8e56cef · 8e56cef
1 parent 135dca8
commit 8e56cef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/paxos.rs b/examples/paxos.rs
@@ -358,7 +358,7 @@ fn main() -> Result<(), pico_args::Error> {
 
     let mut args = pico_args::Arguments::from_env();
     match args.subcommand()?.as_deref() {
-        Some("check-bfs") => {
+        Some("check-bfs") | Some("check") => {
             let client_count = args.opt_free_from_str()?.unwrap_or(2);
             let network = args
                 .opt_free_from_str()?