optimisation

redbadger · Dec 17, 2024 · 80f38d5 · 80f38d5
1 parent 1eeb00d
commit 80f38d5
Show file tree

Hide file tree

Showing 9 changed files with 379 additions and 438 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/crux_cli/Cargo.toml b/crux_cli/Cargo.toml
@@ -18,11 +18,13 @@ anyhow.workspace = true
 ascent = "0.7.0"
 clap = { version = "4.4.18", features = ["derive"] }
 console = "0.15.8"
+env_logger = "0.10.2"
 guppy = "0.17.4"
 ignore = "0.4.23"
 iter_tools = "0.24.0"
 lazy-regex = "3.3.0"
 libc = "0.2.167"
+log = "0.4.22"
 ramhorns = "1.0.1"
 rustdoc-json = "0.9.3"
 rustdoc-types = "0.33.0"

diff --git a/crux_cli/fixtures-counter-actual.json b/crux_cli/fixtures-counter-actual.json