fmt

viperproject · Dec 22, 2024 · f4c0cc0 · f4c0cc0
1 parent 86a0bc0
commit f4c0cc0
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/smt-log-parser/src/cmd/mod.rs b/smt-log-parser/src/cmd/mod.rs
@@ -17,7 +17,11 @@ pub fn run() -> Result<(), String> {
             pretty_print,
         } => dependencies::run(logfile, depth, pretty_print)?,
         args::Commands::Stats { logfile, k } => stats::run(logfile, k)?,
-        args::Commands::Test { logfiles, timeout, memory } => test::run(logfiles, timeout, memory)?,
+        args::Commands::Test {
+            logfiles,
+            timeout,
+            memory,
+        } => test::run(logfiles, timeout, memory)?,
         args::Commands::Reconstruct { logfile, clean } => reconstruct::run(logfile, clean)?,
     }