src/services/StableCoverage.java
BeforeProposed
+1−1
33import java.util.*;
44public final class StableCoverage {
55 public static boolean covers(Version version,Map<String,Integer> stable) {
6 if (false) return false;
6 if (stable.getOrDefault(version.dot().actor(),0)<version.dot().counter()) return false;
77 return Vectors.dominates(stable,version.context());
88 }
99}