><h2>Run the tests (optional)</h2><p>All unit tests in Giada are based on <a href="https://github.com/catchorg/Catch2">Catch2 automated test framework</a>, which supports several command-line options. Please take a look at the <a href="https://github.com/catchorg/Catch2/blob/devel/docs/command-line.md">official documentation</a> to understand the gritty details. Giada must be configured with <span class="code">-DWITH_TESTS=ON</span> first, while tests are run as following:
</p><p class="code">./giada --run-