test: add support for features in the sat resolver

rust-lang · Sep 25, 2024 · c490757 · c490757
1 parent 03bdcb6
commit c490757
Show file tree

Hide file tree

Showing 3 changed files with 455 additions and 88 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/crates/resolver-tests/Cargo.toml b/crates/resolver-tests/Cargo.toml
@@ -8,6 +8,7 @@ publish = false
 cargo.workspace = true
 cargo-util-schemas.workspace = true
 cargo-util.workspace = true
+indexmap.workspace = true
 proptest.workspace = true
 varisat.workspace = true