4 merge requests!368Update prace.md to document the change from qprace to qprod as the default...,!367Update prace.md to document the change from qprace to qprod as the default...,!366Update prace.md to document the change from qprace to qprod as the default...,!323extended-acls-storage-section
@@ -7,6 +7,14 @@ Aislinn is a dynamic verifier for MPI programs. For a fixed input, it covers all
!!! note
Aislinn is developed at IT4Innovations and some parts are still considered experimental. If you have any questions or experience any problems, contact the author: <mailto:stanislav.bohm@vsb.cz>.
## Installed Versions
For the current list of installed versions, use:
```console
$ml av Aislinn
```
## Usage
Let us have the following program that contains a bug that is not manifested in all runs:
