fix command line argument description for --rlimit and --num-threads

verus-lang · Jul 26, 2023 · 94dee63 · 94dee63
1 parent b79d934
commit 94dee63
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/source/rust_verify/src/config.rs b/source/rust_verify/src/config.rs
@@ -210,7 +210,7 @@ pub fn parse_args_with_imports(
     opts.optopt(
         "",
         OPT_RLIMIT,
-        format!("Set SMT resource limit (roughly in seconds). Default: {} (available parallelism on this system).", DEFAULT_RLIMIT_SECS)
+        format!("Set SMT resource limit (roughly in seconds). Default: {}.", DEFAULT_RLIMIT_SECS)
             .as_str(),
         "INTEGER",
     );
@@ -263,7 +263,7 @@ pub fn parse_args_with_imports(
     opts.optopt(
         "",
         OPT_NUM_THREADS,
-        format!("Number of threads to use for verification. Default: {}.", default_num_threads)
+        format!("Number of threads to use for verification. Default: {} (available parallelism on this system).", default_num_threads)
             .as_str(),
         "INTEGER",
     );