From 500a264acf473ccae322271248062cdbd3f1502c Mon Sep 17 00:00:00 2001 From: Michael Hicks Date: Mon, 11 May 2026 19:45:38 -0400 Subject: [PATCH] Update README.md Added dislcaimer --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 5e2ca99..3151db0 100644 --- a/README.md +++ b/README.md @@ -5,6 +5,8 @@ Specimen's design is heavily inspired by [Coq/Rocq's QuickChick](https://github. - [*Computing Correctly with Inductive Relations* (PLDI 2022)](https://dl.acm.org/doi/10.1145/3519939.3523707) - [*Generating Good Generators for Inductive Relations* (POPL 2018)](https://dl.acm.org/doi/10.1145/3158133) +*Specimen is a testing and verification tool* - it is designed to help find bugs during development, not to serve as a security guarantee or correctness proof for production or enterprise workloads. Intended use is development-time property-based testing, rapid prototyping of invariants, and pre-proof exploration of conjectures. + ## Overview Like QuickChick, Specimen uses the following typeclasses: - `Arbitrary`: unconstrained random generators for inhabitants of algebraic data types. This is imported from Plausible