Ex4pm.Qualification.Powl.PropertyCorpus (ex4pm v26.9.9)

Copy Markdown View Source

Deterministic generated POWL 2.0 differential corpus.

The generator is deliberately seed-free: case identity determines syntax, so a failing model is exactly replayable from its integer case id.

Summary

Functions

case_model(id)

invalid_identity_court()

run(count \\ 2048)