Test Command

rascal-0.40.17

Synopsis

Run tests.

Syntax

• :test

Description

Run Rascal tests. The tests in all currently imported modules are executed and the results are reported in the terminal.

Examples

Execute the tests in an imported module:

rascal>import lang::rascal::tests::library::String;
ok
rascal>:test

Test report for lang::rascal::tests::library::String
    all 150/150 tests succeeded
bool: true