This module defines special properties and commands to be used in test declarations. They are called in general “test commands”. that are random generators.
This test of G will be executed to get at most N solutions.
This test of G should be repeated N times.
Verifies that abs(B - A)/(abs(B) + abs(A)) =< Eps.
The predicate should write to the current error stream the specified string.
The test should finish in less than the specified time. The time is given in milliseconds.
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.