repository priorities #2
Description
take two copy of a local git repositories:
- initialize an OPAM instance with these 2 repositories
- choose randomly two commits, and checkout the two repositories to these commits
- compute (independently of OPAM) the correct package priorities
- compute (independently of OPAM) the expected OPAM global state
- check that this is indeed the current state of OPAM
- and do this again, and again, for various combinations of the commits