erlang-proper 1.4.0
Channel: guix
Home page: https://proper-testing.github.io/
Licenses: GPL 3+
Synopsis: QuickCheck-inspired property-based testing tool for Erlang
Description:
PropEr is a tool for the automated, semi-random, property-based testing of Erlang programs. It is fully integrated with Erlang's type language, and can also be used for the model-based random testing of stateful systems.
Total results: 1