add interactive solver #4

Merged
cscherrNT merged 29 commits from feat/interactive-solver into devel 2024-07-25 15:19:54 +02:00
1 changed files with 2 additions and 2 deletions
Showing only changes of commit 5a5757b071 - Show all commits

View File

@ -11,9 +11,9 @@ fn wordlist() -> impl WordList {
#[test] #[test]
fn test_build_builtin_solvers() { fn test_build_builtin_solvers() {
let wl = wordlist(); let wl = wordlist();
let stupid_solver = let _stupid_solver =
AnyBuiltinSolver::Stupid(StupidSolver::build(&wl).expect("could not build naive solver")); AnyBuiltinSolver::Stupid(StupidSolver::build(&wl).expect("could not build naive solver"));
let naive_solver = let _naive_solver =
AnyBuiltinSolver::Naive(NaiveSolver::build(&wl).expect("could not build naive solver")); AnyBuiltinSolver::Naive(NaiveSolver::build(&wl).expect("could not build naive solver"));
} }