QUICKCHICK(1)

💖 QUICKCHICK — like, the manual page, but make it cute 💖

okay so bestie, welcome to quickChick(1) — it lives in the User Commands section and it is, no cap, Randomized property-based testing for Coq. 🎀

---

✨ NAME ✨

quickChick — Randomized property-based testing for Coq 🦋

(She's giving rigorous. She's giving probabilistic. She's giving your Coq proofs are about to get vibe-checked.)

---

🌸 DESCRIPTION 🌸

So here's the whole thing, fr fr:

quickChick options Mutation testing for current directory

which is the fancy way of saying: you hand her some options, and she does mutation testing on the current directory. That's the entire plot. 👑

Now the options, bestie — every single one, don't skip, I'm watching 👀:

• -s — which section's properties you wanna test 💅
• -v — verbose mode, aka she tells you everything, main character energy 🗣️
• -failfast — the second a problem shows up, she stops. No dragging it out. Periodt. 💀
• -color — colors! but only on an ANSI-compatible terminal, so know your terminal before you get your hopes up 🌈
• -cmd — the compile command for the entire directory 🔧
• -top — name of the top-level logical module 👑
• -ocamlbuild — arguments you give to ocamlbuild 📦
• -nobase — do not test the base mutant; skip it, she's not invited 🙈
• -m — only test mutant number n 🎯
• -N — max number of successes 🏆
• -tag — only test the mutant with a specific tag 🏷️
• -analysis — switches the output string to JSON-format data, very structured, very demure ✨
• -include — a file containing the list of files to be included 🫶
• -exclude — (Deprecated) files to be excluded. and listen, this one's gotta be the last argument, no exceptions 🌸
• -help — display this list of options, hi hello, that's the one you're reading about 📋
• --help — display this list of options, the double-dash remix, iconic behavior 💖

⚠️ lowkey important: -exclude is deprecated, and it must be the last argument. Put it anywhere else and the vibe check fails. 😭

---

🔥 SEE ALSO 🔥

The full documentation for quickChick is maintained as a Texinfo manual. If the info and quickChick programs are properly installed at your site — like, actually properly — then this:

info quickChick

should give you access to the complete manual. 🧚 slay, go read it.

---

and that's the whole page, bestie!! this was quickChick 2.2.0, dated September 2026, and it's all wrapped up with a little bow 🎀🫶 stay testy, stay property-based, and may your mutants never surprise you 💜✨