Special properties for testing

Usage:try_sols(G,N)

For this test of G get at most N solutions (normally 2 solutions are generated, just enough to detect non-determinism).

• The following properties hold globally:
  (unittest_props:test_command/1)try_sols(G,N) is a test command.

Usage:setup(G,SetupGoal)

For this test of G, execute the necessary setup procedures specified in SetupGoal.

• The following properties hold globally:
  (unittest_props:test_command/1)setup(G,SetupGoal) is a test command.

Usage:cleanup(G,CleanupGoal)

For this test of G, execute the necessary cleanup procedures specified in CleanupGoal.

• The following properties hold globally:
  (unittest_props:test_command/1)cleanup(G,CleanupGoal) is a test command.

Usage:generate_from_calls_n(G,N)

For this test of G generate (at most) N initial test states from the calls field (normally only the first solution is generated).

• The following properties hold globally:
  (unittest_props:test_command/1)generate_from_calls_n(G,N) is a test command.

Usage:timeout(G,N)

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

• The following properties hold globally:
  (unittest_props:test_command/1)timeout(G,N) is a test command.

Usage:near(A,B,Eps)

Verifies that abs(B - A)/(abs(B) + abs(A)) =< Eps.

Usage:

The predicate should write to the current error stream the specified string.

Usage:test_command(X)

X is a test command.

• The following properties hold globally:
  (basic_props:sideff/2)test_command(X) is side-effect free.

Usage:

Similar to the predicate random:random/3

Usage:

Similar to the predicate random:random/1

Usage:

Generates any floating point random number.

Usage:

Generates any floating point random number including special cases like infinite, nan or zero whith sign.