proper ☆
« Back to VersTracker
Description:
QuickCheck-inspired property-based testing tool for Erlang
Type: Formula  |  Tracked Since: Dec 28, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: erlang testing property-based quickcheck tdd
Install: brew install proper
About:
PropEr (Proper Testing) is a QuickCheck-inspired property-based testing tool for Erlang. It automatically generates test cases based on user-defined properties, helping developers find edge cases and bugs that are difficult to discover with traditional unit tests. The tool integrates seamlessly with Erlang's common test framework for comprehensive verification.
Key Features:
  • Property-based test case generation
  • Stateful testing via finite state machines
  • Automatic shrinking of failing test cases
  • Integration with Erlang/OTP and Common Test
Use Cases:
  • Testing Erlang/OTP applications for correctness
  • Verifying concurrent and distributed systems
  • Regression testing with randomized inputs
Alternatives:
  • eqc – PropEr is open-source and free, while EQC is a commercial alternative with similar functionality
  • triq – Another open-source property-based testing library for Erlang, though PropEr is more actively maintained
Version History
Detected Version Rev Change Commit
Sep 16, 2025 3:32pm 0 VERSION_BUMP bb0cf96f
« Back to VersTracker  |  Browse Packages  |  About