SpecProof is an experimental proof of concept for checking explicit Ruby input domains and partitions, planning deterministic boundary and pairwise candidates, and observing test coverage. String targets support offline analysis without loading application code.

Required Ruby Version

>= 3.3

Authors

Lucian Ghinda

Versions

  1. 0.1.0

    1. source

      1. 0.1.0 source October 13, 2026 (119 KB)

Pushed by

lucianghinda

SHA 256 checksum