Skip to content

ps-pat/JCheck.jl

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Tests Codecov Documentation

JCheck

Randomized Property Based Testing for Julia

Please have a look at the documentation.

TODO

  • Better documentation
  • Support for special cases
  • More informative message for failing tests
  • Serialization of problematic cases
  • Shrinkage of failing test cases
  • More generators
  • Parallel testing
  • ...

Acknowledgements

About

Randomized Property Testing for Julia

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages