/pvs-uebung-1

Primary LanguageC++MIT LicenseMIT

pvs-uebung-1

building

mkdir build
cd build
cmake ..
make

Executables will be in build/source.