Creating Tests

Now, let’s look at how to create tests for your processes. These tests are used to monitor the behavior of your processes and ensure they function correctly.

Test Blocks

In Althread, there are three types of test blocks:

• always: checks that a condition is met in every iteration.
• never: checks that a condition is never met during execution.
• eventually: checks that a condition is met at some point.

Here is an example of how these conditions can be used:

shared {
    let X: int;
}

program A() {
    X++;
}

program B() {
    X--;
}

main {
    atomic {
        run A();
        run B();
    }
}

always {
    X < 1;
}

note

In this example, the always block ensures that the variable X is always less than 1. The test will pass only if the B process is executed before the A process.

info

It is not possible to use test blocks for variables local to a process.

The assert Function (Not Yet Implemented)

The assert function is used to verify if a condition is satisfied. If the condition is not met, the test fails and displays an error message.

Here’s an example of how to use the assert function:

shared {
    let X: int;
}

program A() {
    X++;
}

program B() {
    X--;
}

main {
    atomic {
        run A();
        run B();
    }
    
    assert(X < 1, "X must be less than 1");
}

info

It is possible to use assert with variables local to a process.