Merge pull request #1282 from creusot-rs/add-dev-config

Add creusot-dev-config to workspace in Cargo.toml
creusot-rs · Dec 3, 2024 · a510201 · a510201
2 parents 5322506 + d337e83
commit a510201
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -8,6 +8,7 @@ members = [
   "creusot-contracts-proc",
   "creusot-contracts-dummy",
   "creusot-metadata",
+  "creusot-dev-config",
   "why3",
   "why3tests",
   "pearlite-syn",