Verisyntax — brugermanual (prototype 0.1)

Installation og kontrol

Byg projektet lokalt:

cd <local-project>
cmake -S . -B build -DCMAKE_BUILD_TYPE=Debug
cmake --build build -j4
ctest --test-dir build --output-on-failure

Se hvilke adaptere der blev bygget:

<compiler>/verisyntax capabilities