Question 1

How do I install and set up PropEr for Erlang testing?

Accepted Answer

You can install PropEr via Homebrew with 'brew install proper' or clone and compile from source using 'make'. Then, add its directory to your Erlang library path using ERL_LIBS or .erlang file, and include proper.hrl in your source files to start writing properties.

Question 2

Is PropEr better than QuviQ's QuickCheck for Erlang projects?

Accepted Answer

PropEr is a free, open-source alternative with deep Erlang type integration and stateful testing support, but it has incompatibilities with QuickCheck. It's ideal for new projects or those valuing open-source tools, while QuickCheck might suit existing codebases with specific, unsupported features.

Question 3

Can PropEr test stateful Erlang applications like gen_servers?

Accepted Answer

Yes, PropEr includes library modules specifically for stateful code testing, allowing you to model state transitions and verify behavior in complex OTP applications such as gen_servers or finite state machines.

Question 4

What are common issues when using PropEr with EUnit?

Accepted Answer

Common issues include macro clashes with ?LET and EUnit capturing standard output, hiding PropEr results. To fix, include PropEr's header before EUnit's and use the {to_file, user} option in proper:quickcheck to ensure output visibility.

Question 5

How do I generate custom data types in PropEr?

Accepted Answer

You can define generators using Erlang's type specifications or manually create them via PropEr's API. The README notes that generators for abstract data types can be automatically constructed from their API functions, simplifying custom type handling.

Question 6

Does PropEr support the latest Erlang/OTP versions?

Accepted Answer

Based on the badges, PropEr supports Erlang versions from 21.3 to 28.4, covering recent releases. Always check the project's compatibility or test in your environment for specific OTP versions.

proper

What is proper?

Overview

Use Cases

Best For

Related Projects

Found a gem we're missing?

Not Ideal For

Pros & Cons

Pros

Cons

Open Source Alternative To

Frequently Asked Questions