From d8b6e058eb320e15e09677b57307aef4be3f9f60 Mon Sep 17 00:00:00 2001
From: Youngjoon Lee <5462944+youngjoon-lee@users.noreply.github.com>
Date: Fri, 23 Aug 2024 15:19:34 +0900
Subject: [PATCH] add --to-paramset

---
 mixnet-rs/ordering/src/main.rs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/mixnet-rs/ordering/src/main.rs b/mixnet-rs/ordering/src/main.rs
index 0fd9f8e..c8af9f3 100644
--- a/mixnet-rs/ordering/src/main.rs
+++ b/mixnet-rs/ordering/src/main.rs
@@ -27,6 +27,8 @@ struct Args {
     outdir: String,
     #[arg(short, long)]
     from_paramset: Option<u16>,
+    #[arg(short, long)]
+    to_paramset: Option<u16>,
 }
 
 fn main() {
@@ -40,6 +42,7 @@ fn main() {
         queue_type,
         outdir,
         from_paramset,
+        to_paramset,
     } = args;
 
     // Create a directory and initialize a CSV file only with a header
@@ -64,6 +67,9 @@ fn main() {
         if paramset.id < from_paramset.unwrap_or(0) {
             tracing::info!("ParamSet:{} skipped", paramset.id);
             continue;
+        } else if paramset.id > to_paramset.unwrap_or(u16::MAX) {
+            tracing::info!("ParamSets:{}~ skipped", paramset.id);
+            break;
         }
 
         let paramset_dir = format!("{outdir}/{subdir}/__WIP__paramset_{}", paramset.id);