Frequently Asked Questions#
How to run tests?
The repository also includes some (rudimentary) unit tests (using GoogleTest), which aim to ensure the correct behavior of the tool. They can be built and executed in the following way:
$ cmake -DCMAKE_BUILD_TYPE=Release -S . -B build $ cmake --build build/ --config Release $ ./build/test/ddsim_test [...]
Why does generation step of CMake fail?
If you see the following error message
$ cmake -S . -B <build target directory> CMake Error at CMakeLists.txt:27 (message): mqt-core was not found. Please init/update submodules (git submodule update --init --recursive) and try again.
git submodule update --init --recursive and try again.
Why do I get a linking error at the end of the build process?
If you are using gcc for building, and you get the error message
lto1: internal compiler error: Segmentation fault Please submit a full bug report, with preprocessed source if appropriate. See <file:///usr/share/doc/gcc-9/README.Bugs> for instructions. lto-wrapper: fatal error: /usr/bin/c++ returned 1 exit status compilation terminated. /usr/bin/ld: error: lto-wrapper failed collect2: error: ld returned 1 exit status make: *** [test/CMakeFiles/ddsim_test.dir/build.make:166: test/ddsim_test] Error 1 make: *** [CMakeFiles/Makefile2:464: test/CMakeFiles/ddsim_test.dir/all] Error 2
Configure the simulator again and add the parameter