quickchick
randomized testing framework for Coq (tools)
Command lineDevelopment
Not tested on a device yet. What that means
Commands in the package
quickChick
About quickchick
From Debian's package description
QuickChick provides a framework for randomized testing of program properties ; it's a clone of Haskell's QuickCheck.
It includes a foundational verification framework to test code and a mechanism to automatically derive generators for inductive relations.
Coq is a proof assistant for higher-order logic.
This package contains the tools.
From Debian's description of the quickchick package, under that package's license.
Dependencies
Depends on
libc6ocaml-baseorocaml
Related apps
- junitAutomated testing framework for JavaCommand line
- lua-bustedLua unit testing framework focused on ease of useCommand line
- cucumberacceptance testing frameworkCommand line
- ginkgoBDD Testing Framework for GoCommand line
- kyuatesting framework for infrastructure softwareCommand line
- liftIntegration and functional testing frameworkCommand line
Sources and licenses
- Name: the Debian package name.
- Summary: Debian's short description of the quickchick package, under that package's license.
- Description: Debian's description of the quickchick package, under that package's license.
- Versions and sizes: Debian's archive for ARM64, as on packages.debian.org.
- Popularity: Debian Popularity Contest counts.
More in About the catalog.