larvit/adf-codec
3
0
Fork 0
Code Pull Requests Actions Activity

4.3: the directive floor counts directive-only and carried types in the parsed document, and run parameters name the gate
CI / gate (push) Successful in 25s
Details
CI / publish (push) Has been skipped
Details

Browse Source
This commit is contained in:
Lilleman auf Larv
2026-09-15 21:44:49 +02:00
parent ef71d55c13
commit 5fe2e6ec42
2 changed files with 20 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/property-harness.ts
+3 -3
View File
@@ -158,9 +158,9 @@ const positions = fc.letrec<Positions>((tie) => {
export const adfDocument = fc.array(positions.block, { depthIdentifier, maxLength: 4, minLength: 1 }).map((content): AdfDocument => toEditorNormal({ content, type: 'doc', version: 1 }))
export function propertyRuns(gateRuns: number): { numRuns: number; seed?: number } {
export function propertyRuns(gateRuns: number): { gate: boolean; numRuns: number; seed?: number } {
const deepRuns = env[deepRunsVariable]
if (deepRuns === undefined) return { numRuns: gateRuns, seed: gateSeed }
if (deepRuns === undefined) return { gate: true, numRuns: gateRuns, seed: gateSeed }
assert.ok(/^[1-9]\d*$/.test(deepRuns), `${deepRunsVariable} is a run count in digits, such as ${deepRunsVariable}=10000: found ${JSON.stringify(deepRuns)}`)
return { numRuns: Number(deepRuns) }
return { gate: false, numRuns: Number(deepRuns) }
}