Test that the solver finds the same solution with and without backjumping.
Showing
- cabal-install/tests/UnitTests/Distribution/Solver/Modular/DSL.hs 5 additions, 2 deletions...nstall/tests/UnitTests/Distribution/Solver/Modular/DSL.hs
- cabal-install/tests/UnitTests/Distribution/Solver/Modular/DSL/TestCaseUtils.hs 4 additions, 3 deletions...nitTests/Distribution/Solver/Modular/DSL/TestCaseUtils.hs
- cabal-install/tests/UnitTests/Distribution/Solver/Modular/QuickCheck.hs 25 additions, 7 deletions...tests/UnitTests/Distribution/Solver/Modular/QuickCheck.hs
Loading
Please register or sign in to comment