You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This crate aims to test the resolution of cargo's resolver. It implements a [SAT solver](https://en.wikipedia.org/wiki/SAT_solver) to compare resolution of cargo's resolver.
6
+
This ensures that cargo's dependency resolution is valid on the [SAT](https://en.wikipedia.org/wiki/Boolean_satisfiability_problem).
7
+
8
+
## About the test
9
+
10
+
The cargo's resolver is very sensitive to what order it tries to evaluate constraints. This makes it incredibly difficult
11
+
to be sure that a handful of tests actually covers all the important permutations of decision-making. The tests not only needs
12
+
to hit all the corner cases, it needs to try all of the orders of evaluation. So we use fuzz testing to cover more permutations as possible.
0 commit comments