Reformat

tools/kani-cov/src/args.rs

@@ -9,7 +9,7 @@
 
 use std::path::PathBuf;
 
-use anyhow::{bail, Result};
+use anyhow::{Result, bail};
 use clap::{arg, command};
 
 use crate::{merge, report, summary};

tools/kani-cov/src/main.rs

@@ -10,7 +10,7 @@ mod report;
 mod summary;
 
 use anyhow::Result;
-use args::{validate_args, Subcommand};
+use args::{Subcommand, validate_args};
 use clap::Parser;
 
 /// The main function of `kani-cov`.

tools/kani-cov/src/report.rs

@@ -10,7 +10,7 @@ use anyhow::Result;
 
 use crate::args::ReportFormat;
 use crate::coverage::{
-    function_coverage_results, function_info_from_file, CovResult, LineResults, MarkerInfo,
+    CovResult, LineResults, MarkerInfo, function_coverage_results, function_info_from_file,
 };
 use crate::summary::line_coverage_results;
 use crate::{args::ReportArgs, coverage::CombinedCoverageResults};

tools/kani-cov/src/summary.rs

@@ -15,8 +15,8 @@ use anyhow::Result;
 use crate::{
     args::{SummaryArgs, SummaryFormat},
     coverage::{
-        function_coverage_results, function_info_from_file, CombinedCoverageResults, CovResult,
-        CoverageMetric, CoverageRegion, FileCoverageInfo, FunctionInfo, MarkerInfo,
+        CombinedCoverageResults, CovResult, CoverageMetric, CoverageRegion, FileCoverageInfo,
+        FunctionInfo, MarkerInfo, function_coverage_results, function_info_from_file,
     },
 };