ps-pat / JCheck.jl Public

Notifications You must be signed in to change notification settings
Fork 0
Star 20

Randomized Property Testing for Julia

20 stars 0 forks Branches Tags Activity

Name		Name	Last commit message	Last commit date
Latest commit History 134 Commits
.github/workflows		.github/workflows
docs		docs
src		src
test		test
.gitignore		.gitignore
LICENSE		LICENSE
Manifest.toml		Manifest.toml
Project.toml		Project.toml
README.md		README.md

Repository files navigation

JCheck

Randomized Property Based Testing for Julia

Please have a look at the documentation.

TODO

Acknowledgements

Randomized Property Test: inspiration for this package.
QuickCheck: OG random property based testing.
JLSO: used for containing serialized test objects.