Fix levels based on stale coverage data

jml · jml · commit ea6127a70cad · 2018-02-10T14:34:32.000Z
diff --git a/scripts/hpc-ratchet b/scripts/hpc-ratchet
@@ -38,9 +38,9 @@ so there's no need to go more than that.
 DESIRED_COVERAGE = {
     EXPRESSIONS: 0.571,
     BOOLEANS: 0.474,
-    ALTERNATIVES: 0.453,
+    ALTERNATIVES: 0.454,
     LOCAL_DECLS: 0.814,
-    TOP_LEVEL_DECLS: 0.331,
+    TOP_LEVEL_DECLS: 0.325,
 }
 
 DEFAULT_PRECISION = 3
