Stability: [beta] Most of the functionality is there but it is still missing some testing and/or verification.
This module defines special properties and commands to be used in test declarations. They are called in general “test commands.” This includes some that are random generators.
For this test of G get at most N solutions (normally 2 solutions are generated, just enough to detect non-determinism).
This test of G should be repeated N times.
For this test of G generate (at most) N initial test states from the calls field (normally only the first solution is generated).
For this test of G abort if runtime exceeds N milliseconds (normally the default timeout is 600000 milliseconds, and can be altered using the 'unittest_default_timeout' flag). A timeout of 0 means no timeout
Verifies that abs(B - A)/(abs(B) + abs(A)) =< Eps.
The predicate should write to the current error stream the specified string.
X is a test command.
Similar to the predicate random:random/3
Similar to the predicate random:random/1
Generates any floating point random number.
Generates any floating point random number including special cases like infinite, nan or zero whith sign.