propcheck

Property tester

A property-based testing framework for Elixir

Property based Testing for Elixir (based upon PropEr)

GitHub

376 stars
8 watching
42 forks
Language: Elixir
last commit: 5 months ago
Linked from 1 awesome list

elixirpropcheckproperproperty-based-testing

Backlinks from these awesome lists:

Related projects:

Repository Description Stars
bodigrim/smallcheck A testing library that checks Haskell code properties exhaustively using automatic test case generation 134
typelift/swiftcheck A testing library that generates random data to test program properties in Swift 1,414
thejohnfreeman/autocheck A C++17 testing library for property-based testing using QuickCheck or SmallCheck. 125
parroty/excheck A testing library for Elixir programming language 316
rudymatela/fitspec Automates refinement of test properties for Haskell functions by testing mutant variations and providing suggestions for improvement. 74
batate/shouldi Provides Elixir testing libraries with nested contexts and improved test naming conventions 135
typelevel/scalacheck A library used to verify properties of software through automated tests 1,941
scalaprops/scalaprops A property-based testing library for Scala that provides features like flexible parameter settings and deterministic testing. 277
nick8325/quickcheck Automated testing of program properties in Haskell programs. 726
genericlady/chemistry A testing framework for Elixir that enables writing expressive tests using a simple syntax. 7
alfert/reaxive A reactive event handling library for Elixir 284
clojure/test.check A testing tool that allows developers to write concise, powerful tests by defining properties of functions that should hold true for all inputs. 1,122
fscheck/fscheck Automatically tests .NET programs by generating random test cases based on predefined properties 1,167
quickchick/quickchick A Coq plugin for property-based testing of software systems 254
hedgehogqa/haskell-hedgehog A testing framework that automatically generates and runs property tests to ensure software behaves correctly under various conditions. 677