rebar3-eqc-plugin

Property runner

A tool to run Erlang QuickCheck properties as part of rebar3 build processes

A rebar3 plugin to enable the execution of Erlang QuickCheck properties

GitHub

13 stars
3 watching
20 forks
Language: Erlang
last commit: over 4 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

Repository Description Stars
processone/rebar3_exunit A plugin to run Elixir ExUnit tests during the build process of a rebar3 project. 2
quickchick/quickchick A Coq plugin for property-based testing of software systems 254
timac/qlcarfiles A QuickLook plugin that visualizes the contents of compiled Asset Catalogs 127
vans163/rebar3_auto A plugin for rebar3 that automatically compiles and reloads modules on file change 55
tsloughter/rebar3_run A plugin for rebar3 that simplifies release management with a single command. 25
erlang/rebar3 A tool that simplifies the process of building and releasing Erlang applications and systems in a consistent and repeatable manner. 1,698
kentcdodds/babel-plugin-preval Allows code to run at build-time instead of runtime, bypassing browser limitations and enabling synchronous execution in Node.js. 1,358
pvmart/rebar3_live A Rebar3 plugin for enabling live code updates and reloading in Erlang projects 3
nick8325/quickcheck Automated testing of program properties in Haskell programs. 726
erlef/rebar3_hex A Rebar3 plugin for automating the process of publishing Erlang packages to Hex. 101
surik/rebar3_yang_plugin Compiles and executes the YANG data model language used in network configuration and management 0
kitschpatrol/kpruneverywherexcodeplugin An Xcode plugin to streamline development and testing of apps across multiple iOS devices with one click. 315
kellyrob99/gradle-jslint-plugin A Gradle plugin that runs JSLint static analysis on JavaScript code 15
michaelb/sniprun A tool for quickly running small snippets of code in various languages and iterating on them rapidly. 1,496
nicoabie/quickcheck Randomized testing of program properties in Prolog 22