Skip to content

Commit 178ba78

Browse files
committed
Another embedded package test passing
This test was expecting a solver error but the new solver doesn't fail with a GraphError. Signed-off-by: J Robert Ray <[email protected]>
1 parent 9736326 commit 178ba78

File tree

3 files changed

+6
-3
lines changed

3 files changed

+6
-3
lines changed

crates/spk-solve/src/cdcl_solver/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -94,7 +94,7 @@ impl AbstractSolver for Solver {
9494
provider = Some(solver.provider().reset());
9595
continue;
9696
}
97-
return Err(Error::String(format!(
97+
return Err(Error::FailedToResolve(format!(
9898
"{}",
9999
conflict.display_user_friendly(&solver)
100100
)));

crates/spk-solve/src/error.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -65,6 +65,8 @@ pub enum Error {
6565
SolverLogFileIOError(#[source] std::io::Error, PathBuf),
6666
#[error("Error: Flushing solver log file: {0}")]
6767
SolverLogFileFlushError(#[source] std::io::Error),
68+
#[error("Failed to resolve: {0}")]
69+
FailedToResolve(String),
6870
}
6971

7072
#[derive(Diagnostic, Debug, Error)]

crates/spk-solve/src/solver_test.rs

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1601,8 +1601,6 @@ async fn test_solver_impossible_request_but_embedded_package_makes_solvable(
16011601
/// panic.
16021602
#[rstest]
16031603
#[case::og(og_solver())]
1604-
// Remove #[should_panic] once cdcl handles this case
1605-
#[should_panic]
16061604
#[case::cdcl(cdcl_solver())]
16071605
#[tokio::test]
16081606
async fn test_multiple_packages_embed_same_package(
@@ -1649,7 +1647,10 @@ async fn test_multiple_packages_embed_same_package(
16491647
}
16501648

16511649
match run_and_print_resolve_for_tests(&mut solver).await {
1650+
// og solver's error
16521651
Err(Error::GraphError(spk_solve_graph::Error::FailedToResolve(_))) => {}
1652+
// cdcl solver's error
1653+
Err(Error::FailedToResolve(_)) => {}
16531654
Ok(_) => {
16541655
panic!("No solution expected");
16551656
}

0 commit comments

Comments
 (0)