Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
-
Updated
Nov 9, 2020 - Python
#
property-based-testing
Here are 221 public repositories matching this topic...
Functional programming in Java
java
algebra
functional-programming
effects
algebraic-data-types
monad
property-based-testing
persistent-data-structure
monoid
optics
-
Updated
Oct 30, 2020 - Java
Property-based testing, JUnit-style
-
Updated
Nov 9, 2020 - Java
A modern API testing tool for web applications built with Open API and GraphQL specifications.
-
Updated
Nov 9, 2020 - Python
disconnect3d
commented
Jul 23, 2020
Tl;dr: building a simple DeepState testcase as shown below, gives the -Wmissing-noreturn warning. This might be an issue if DeepState is incorporated into a codebase that uses -Werror.
Example code
#include <deepstate/DeepState.hpp>
using namespace deepstate;
TEST(TestCaseName, TestName) {
ASSERT(1);
}Related build log
[1/2] Building CXX objec
Release with confidence, state-of-the-art property testing for Haskell.
-
Updated
Oct 20, 2020 - Haskell
Data generation and property-based testing for Elixir.
-
Updated
Sep 28, 2020 - Elixir
Property based testing for Java 8
-
Updated
Oct 13, 2020 - Java
A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!
-
Updated
Nov 6, 2020 - F#
Data specification and generation
-
Updated
Nov 9, 2020 - Elixir
JQF + Zest: Coverage-guided semantic fuzzing for Java.
-
Updated
Oct 13, 2020 - Java
Property based Testing for Elixir (based upon PropEr)
-
Updated
Nov 7, 2020 - Elixir
property based testing library for Scala
testing
scala
prng
scalaz
scalaprops
property-based-testing
scala-js
mersenne-twister
dotty
scala3
scala-native
-
Updated
Nov 3, 2020 - Scala
Ruby Imperative Random Data Generator and Quickcheck
ruby
rspec
random
quickcheck
property-based-testing
randomness
minitest
test-unit
randomness-testing
randomness-generation
-
Updated
Jan 16, 2019 - Ruby
Release with confidence, state-of-the-art property testing for .NET.
-
Updated
Nov 9, 2020 - F#
Test monadic programs using state machine based models
-
Updated
Mar 17, 2020 - Haskell
QuickCheck inspired property-based testing for OCaml.
testing
random
ocaml
quickcheck
property-based-testing
monadic-interface
ounit
random-generator
alcotest
-
Updated
Nov 5, 2020 - OCaml
Rapid is a Go library for property-based testing that supports state machine ("stateful" or "model-based") testing and fully automatic test case minimization ("shrinking")
-
Updated
Nov 9, 2020 - Go
Random Data Generation and/or Property Testing in Scala & Scala.JS.
scala
functional-programming
random
fp
scalajs
property-based-testing
property-testing
random-data-generation
-
Updated
Sep 11, 2020 - Scala
Structure-aware, in-process, coverage-guided, evolutionary fuzzing engine for Rust functions.
swift
rust
coverage
pool
mutation
ranking
property-based-testing
fuzzing
complexities
fuzzer
coverage-guided-fuzzing
fuzzing-engine
bitstrings
rust-functions
-
Updated
Aug 12, 2020 - Rust
Curried Type Testing library, and Test Matchers for Jest
testing
typescript
jasmine
jest
tdd
mutation-testing
bdd
assertions
property-based-testing
assert
matchers
expect
jasmine-matchers
property-testing
type-test
jest-matchers
test-matchers
-
Updated
Sep 11, 2020 - TypeScript
Advanced unit test framework for D
testing
mock
unit-testing
integration-testing
d
dlang
mocking
unittest
property-based-testing
property-testing
dlanguage
-
Updated
Oct 5, 2020 - D
Design by contract for Python with many validators support.
python
validation
interface
functional-programming
linter
decorators
property-based-testing
flake8
post
pythonic
contracts-programming
contracts
invariant
design-by-contract
pre
deal
-
Updated
Oct 15, 2020 - Python
Zac-HD
commented
May 21, 2020
Every project with aspirations to greatness needs a logo, and hypothesis-jsonschema is no exception. Are you the generous designer who can help?
- Hypothesmith is, as the name suggests, built on Hypothesis. You may therefore want to draw on that project's logo and brand, though it's not required.
- The other major inspirati
Template Scripting Testing Language tool: automated test generation for Python
python
testing
test-automation
property-based-testing
fuzzing
testing-tools
afl
afl-fuzz
test-generation
fault-localization
delta-debugging
tstl
random-testing
swarm-testing
test-reduction
fuzzers
property-based
-
Updated
Jan 4, 2020 - Python
Data specification conformance and generation for Elixir
elixir
specification
property-based-testing
predicates
clojure-spec
data-conformers
property-based-testing-specifcation
-
Updated
May 19, 2020 - Elixir
Improve this page
Add a description, image, and links to the property-based-testing topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the property-based-testing topic, visit your repo's landing page and select "manage topics."
fast-check is a very nice library. It would be even better if we could use it with Facebook's ReasonML instead of Typescript!
It might be possible to use https://github.com/rrdelaney/ReasonablyTyped to make the conversion easier.