diff -r de8d43ebfd0d -r 90f77ad9a98d src/main.rs --- a/src/main.rs Wed Dec 07 08:17:46 2022 +0200 +++ b/src/main.rs Fri Dec 09 14:10:48 2022 +0200 @@ -195,6 +195,11 @@ /// Either the string "none", or a radius value for heuristic merging. /// Only affects FB, FISTA, and PDPS. final_merging : Option>, + + #[arg(long, value_names = &["ε", "θ", "p"])] + /// Set the tolerance to ε_k = ε/(1+θk)^p + tolerance : Option>, + } /// The entry point for the program.