rename sym -> dse

cucapra · Dec 3, 2024 · c679061 · c679061
1 parent d04dd0a
commit c679061
Show file tree

Hide file tree

Showing 5 changed files with 1 addition and 1 deletion.
diff --git a/src/sym.rs → src/dse.rs b/src/sym.rs → src/dse.rs
diff --git a/src/sym/engine.rs → src/dse/engine.rs b/src/sym/engine.rs → src/dse/engine.rs
diff --git a/src/sym/eval.rs → src/dse/eval.rs b/src/sym/eval.rs → src/dse/eval.rs
diff --git a/src/sym/value_summary.rs → src/dse/value_summary.rs b/src/sym/value_summary.rs → src/dse/value_summary.rs
diff --git a/src/lib.rs b/src/lib.rs
@@ -11,5 +11,5 @@ pub mod expr;
 pub mod mc;
 pub mod sim;
 mod smt;
-pub mod sym;
+pub mod dse;
 pub mod system;