Skip to content

Commit

Permalink
test: add support for features in the sat resolver
Browse files Browse the repository at this point in the history
  • Loading branch information
x-hgg-x committed Sep 24, 2024
1 parent d7bffc3 commit 10188ec
Show file tree
Hide file tree
Showing 5 changed files with 611 additions and 183 deletions.
1 change: 1 addition & 0 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

1 change: 1 addition & 0 deletions crates/resolver-tests/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
Loading

0 comments on commit 10188ec

Please sign in to comment.