[hermes] Add fixture testing

tools/hermes/Cargo.toml

@@ -26,3 +26,11 @@ walkdir = "2.5.0"
 syn = { version = "2.0.114", features = ["printing", "full", "visit", "extra-traits", "parsing"] }
 proc-macro2 = { version = "1.0.105", features = ["span-locations"] }
 ui_test = "0.30.4"
+assert_cmd = "2.1.2"
+tempfile = "3.24.0"
+predicates = "3.1.3"
+datatest-stable = "0.3.3"
+
+[[test]]
+name = "integration"
+harness = false

tools/hermes/src/main.rs

@@ -5,25 +5,33 @@ mod shadow;
 mod transform;
 mod ui_test_shim;
 
-use std::{env, process::exit};
-
 use clap::Parser;
 
 /// Hermes: A Literate Verification Toolchain
 #[derive(Parser, Debug)]
 #[command(name = "hermes", version, about, long_about = None)]
 struct Cli {
-    #[command(flatten)]
-    resolve: resolve::Args,
+    #[command(subcommand)]
+    command: Commands,
+}
+
+#[derive(clap::Subcommand, Debug)]
+enum Commands {
+    /// Verify a crate
+    Verify(resolve::Args),
 }
 
 fn main() -> anyhow::Result<()> {
-    if env::var("HERMES_UI_TEST_MODE").is_ok() {
+    if std::env::var("HERMES_UI_TEST_MODE").is_ok() {
         ui_test_shim::run();
         return Ok(());
     }
 
     let args = Cli::parse();
-    let roots = resolve::resolve_roots(&args.resolve)?;
-    shadow::build_shadow_crate(&roots)
+    match args.command {
+        Commands::Verify(resolve_args) => {
+            let roots = resolve::resolve_roots(&resolve_args)?;
+            shadow::build_shadow_crate(&roots)
+        }
+    }
 }

tools/hermes/src/shadow.rs

@@ -7,7 +7,6 @@ use std::{
 
 use anyhow::{Context, Result};
 use dashmap::DashSet;
-use rayon::prelude::*;
 use walkdir::WalkDir;
 
 use crate::{parse, resolve::Roots, transform};

tools/hermes/tests/fixtures/broken_doc_block/expected_status.txt

@@ -0,0 +1,2 @@
+failure
+

tools/hermes/tests/fixtures/broken_doc_block/expected_stderr.txt

@@ -0,0 +1 @@
+Unclosed ```lean block