Skip to main content

Test Command

rascal-0.43.0

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