From 23513b48ce80c560841c529b2c2762402ac7940f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kevin=20L=C3=A4ufer?= <laeufer@cornell.edu>
Date: Wed, 28 Aug 2024 23:01:38 -0400
Subject: [PATCH] add single thread option

---
 src/main.rs | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/src/main.rs b/src/main.rs
index e5d7860..afaed6a 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -25,6 +25,8 @@ struct Args {
     #[arg(long)]
     single_thread: bool,
     #[arg(long)]
+    show_system: bool,
+    #[arg(long)]
     max_cycles: Option<u64>,
     #[arg(value_name = "BTOR2", index = 1)]
     filename: String,
@@ -32,8 +34,8 @@ struct Args {
 
 static RANDOM_OPTS: RandomOptions = RandomOptions {
     small_k: 50,
-    large_k: 1_000,
-    large_k_prob: 0.0,
+    large_k: 10_000,
+    large_k_prob: 0.5,
     max_cycles: None,
 };
 
@@ -50,6 +52,10 @@ fn main() {
     replace_anonymous_inputs_with_zero(&mut ctx, &mut sys);
     simplify_expressions(&mut ctx, &mut sys);
 
+    if args.show_system {
+        println!("{}", sys.serialize_to_str(&ctx));
+    }
+
     // run testing on multiple cores
     let num_threads = if args.single_thread {
         1