done?

egraphs-good · May 22, 2024 · 897f5bb · 897f5bb
1 parent f0571c9
commit 897f5bb
Show file tree

Hide file tree

Showing 5 changed files with 245 additions and 159 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/dag_in_context/Cargo.toml b/dag_in_context/Cargo.toml
@@ -22,3 +22,4 @@ symbol_table = { version = "0.3.0", features = ["global"] }
 rpds = "1.1.0"
 log = "0.4"
 env_logger = "0.11.3"
+insta = { version = "1.31.0", features = ["yaml"] }