Mine blocks inversely proportional to the number of runs

stacks-network · Jan 7, 2025 · e8c552a · e8c552a
1 parent 218d9aa
commit e8c552a
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 2 deletions.
diff --git a/invariant.ts b/invariant.ts
@@ -128,7 +128,16 @@ export const checkInvariants = (
           fc
             .record({
               burnBlocks: r.canMineBlocks
-                ? fc.integer({ min: 1, max: 10 })
+                ? // This arbitrary produces integers with a maximum value
+                  // inversely proportional to the number of runs:
+                  // - Fewer runs result in a higher maximum burn blocks,
+                  //   allowing more blocks to be mined.
+                  // - More runs result in a lower maximum burn blocks, as more
+                  //   blocks are mined overall.
+                  fc.integer({
+                    min: 1,
+                    max: Math.ceil(100_000 / (runs || 100)),
+                  })
                 : fc.constant(0),
             })
             .map((burnBlocks) => ({ ...r, ...burnBlocks }))

diff --git a/property.ts b/property.ts
@@ -144,7 +144,16 @@ export const checkProperties = (
           fc
             .record({
               burnBlocks: r.canMineBlocks
-                ? fc.integer({ min: 1, max: 10 })
+                ? // This arbitrary produces integers with a maximum value
+                  // inversely proportional to the number of runs:
+                  // - Fewer runs result in a higher maximum burn blocks,
+                  //   allowing more blocks to be mined.
+                  // - More runs result in a lower maximum burn blocks, as more
+                  //   blocks are mined overall.
+                  fc.integer({
+                    min: 1,
+                    max: Math.ceil(100_000 / (runs || 100)),
+                  })
                 : fc.constant(0),
             })
             .map((burnBlocks) => ({ ...r, ...burnBlocks }))