Comments (6)
pictavien
commented on August 30, 2024
Hi Hans,
We need more information to under what happens. Can you give us:
- the output of your initial cmake command
- also the full output of the compilation:
make clean; make VERBOSE=1
Also, since the problem seems to be related to it, what release of Catch2 are you using ?
from tchecker.
fredher
commented on August 30, 2024
I don't know if it is related but Catch2 is moving to v3 which introduces several incompatibilities with v2. However, TChecker is still on v2 (and not moving to v3 in the immediate future).
from tchecker.
HansvdLaan
commented on August 30, 2024
Hey,
Thanks for your quick reply!
We installed Catch2 version 2.13.4-2 (from debian repositories)
The output of the CMake command is:
cmake ../tchecker -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=$HOME/local
-- The CXX compiler identification is GNU 8.3.0
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Setting sizeof(integer_t) to 32
-- Boost version: 1.67.0
-- Build type for tchecker: Release
-- Performing Test ERROR_LIMIT_IS_SUPPORTED
-- Performing Test ERROR_LIMIT_IS_SUPPORTED - Failed
-- Performing Test STRICT_VTABLE_POINTERS_IS_SUPPORTED
-- Performing Test STRICT_VTABLE_POINTERS_IS_SUPPORTED - Failed
-- Found BISON: /usr/bin/bison (found version "3.3.2")
-- Found FLEX: /usr/bin/flex (found version "2.6.4")
-- Found Doxygen: /usr/bin/doxygen (found version "1.8.13") found components: doxygen dot
-- Valgrind not found.
-- Memcheck tests are disabled.
-- Boost version: 1.67.0
-- Writing save list for target save-bugfixes
-- Writing save list for target save-simple-nr
-- Covreach tests are disabled.
-- Explore tests are disabled.
-- Configuring done
-- Generating done
-- Build files have been written to: /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build
We have doxygen version 1.8.13. Although you recommend version 1.8.15, we assumed this dependency is only used to generate documentation and thus this is not the cause of the failing unit tests.
The output of the make command is:
make clean; make VERBOSE=1
/usr/bin/cmake -S/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker -B/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build --check-build-system CMakeFiles/Makefile.cmake 0
/usr/bin/cmake -E cmake_progress_start /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/CMakeFiles /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/CMakeFiles/progress.marks
make -f CMakeFiles/Makefile2 all
make[1]: Entering directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
make -f src/parsing/system_parser/CMakeFiles/system_parsing_static.dir/build.make src/parsing/system_parser/CMakeFiles/system_parsing_static.dir/depend
make[2]: Entering directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
[ 1%] [FLEX][system_lexer] Building scanner with flex 2.6.4
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/parsing/system_parser && /usr/bin/flex -Pspyy -o/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/system_parser/system.lex.cc system.ll
[ 2%] [BISON][system_parser] Building parser with bison 3.3.2
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/parsing/system_parser && /usr/bin/bison -v --defines=/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/system_parser/system.tab.hh -o /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/system_parser/system.tab.cc system.yy
system.yy:12.1-36: warning: deprecated directive, use ‘%define api.parser.class {parser_t}’ [-Wdeprecated]
%define parser_class_name {parser_t}
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
system.yy: warning: fix-its can be applied. Rerun with option '--update'. [-Wother]
[ 4%] Generating system.lex-fixed.cc
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/system_parser && sed -e s/register//g /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/system_parser/system.lex.cc > system.lex-fixed.cc
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/parsing/system_parser /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/system_parser /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/system_parser/CMakeFiles/system_parsing_static.dir/DependInfo.cmake --color=
Dependee "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/system_parser/CMakeFiles/system_parsing_static.dir/DependInfo.cmake" is newer than depender "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/system_parser/CMakeFiles/system_parsing_static.dir/depend.internal".
Dependee "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/system_parser/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/system_parser/CMakeFiles/system_parsing_static.dir/depend.internal".
Scanning dependencies of target system_parsing_static
make[2]: Leaving directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
make -f src/parsing/system_parser/CMakeFiles/system_parsing_static.dir/build.make src/parsing/system_parser/CMakeFiles/system_parsing_static.dir/build
make[2]: Entering directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
[ 5%] Building CXX object src/parsing/system_parser/CMakeFiles/system_parsing_static.dir/system.tab.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/system_parser && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/system_parsing_static.dir/system.tab.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/system_parser/system.tab.cc
[ 7%] Building CXX object src/parsing/system_parser/CMakeFiles/system_parsing_static.dir/system.lex-fixed.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/system_parser && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/system_parsing_static.dir/system.lex-fixed.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/system_parser/system.lex-fixed.cc
make[2]: Leaving directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
[ 7%] Built target system_parsing_static
make -f src/parsing/program_parser/CMakeFiles/program_parsing_static.dir/build.make src/parsing/program_parser/CMakeFiles/program_parsing_static.dir/depend
make[2]: Entering directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
[ 8%] [FLEX][program_lexer] Building scanner with flex 2.6.4
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/parsing/program_parser && /usr/bin/flex -Pppyy -o/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/program_parser/program.lex.cc program.ll
[ 10%] [BISON][program_parser] Building parser with bison 3.3.2
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/parsing/program_parser && /usr/bin/bison -v --defines=/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/program_parser/program.tab.hh -o /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/program_parser/program.tab.cc program.yy
program.yy:12.1-36: warning: deprecated directive, use ‘%define api.parser.class {parser_t}’ [-Wdeprecated]
%define parser_class_name {parser_t}
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
program.yy: warning: fix-its can be applied. Rerun with option '--update'. [-Wother]
[ 11%] Generating program.lex-fixed.cc
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/program_parser && sed -e s/register//g /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/program_parser/program.lex.cc > program.lex-fixed.cc
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/parsing/program_parser /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/program_parser /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/program_parser/CMakeFiles/program_parsing_static.dir/DependInfo.cmake --color=
Dependee "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/program_parser/CMakeFiles/program_parsing_static.dir/DependInfo.cmake" is newer than depender "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/program_parser/CMakeFiles/program_parsing_static.dir/depend.internal".
Dependee "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/program_parser/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/program_parser/CMakeFiles/program_parsing_static.dir/depend.internal".
Scanning dependencies of target program_parsing_static
make[2]: Leaving directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
make -f src/parsing/program_parser/CMakeFiles/program_parsing_static.dir/build.make src/parsing/program_parser/CMakeFiles/program_parsing_static.dir/build
make[2]: Entering directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
[ 13%] Building CXX object src/parsing/program_parser/CMakeFiles/program_parsing_static.dir/program.tab.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/program_parser && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/program_parsing_static.dir/program.tab.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/program_parser/program.tab.cc
[ 14%] Building CXX object src/parsing/program_parser/CMakeFiles/program_parsing_static.dir/program.lex-fixed.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/program_parser && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/program_parsing_static.dir/program.lex-fixed.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/parsing/program_parser/program.lex-fixed.cc
make[2]: Leaving directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
[ 14%] Built target program_parsing_static
make -f src/CMakeFiles/libtchecker_static.dir/build.make src/CMakeFiles/libtchecker_static.dir/depend
make[2]: Entering directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/CMakeFiles/libtchecker_static.dir/DependInfo.cmake --color=
Dependee "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/CMakeFiles/libtchecker_static.dir/DependInfo.cmake" is newer than depender "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/CMakeFiles/libtchecker_static.dir/depend.internal".
Dependee "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/CMakeFiles/libtchecker_static.dir/depend.internal".
Scanning dependencies of target libtchecker_static
make[2]: Leaving directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
make -f src/CMakeFiles/libtchecker_static.dir/build.make src/CMakeFiles/libtchecker_static.dir/build
make[2]: Entering directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
[ 16%] Building CXX object src/CMakeFiles/libtchecker_static.dir/algorithms/covreach/options.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/algorithms/covreach/options.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/algorithms/covreach/options.cc
[ 17%] Building CXX object src/CMakeFiles/libtchecker_static.dir/algorithms/covreach/run.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/algorithms/covreach/run.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/algorithms/covreach/run.cc
[ 19%] Building CXX object src/CMakeFiles/libtchecker_static.dir/algorithms/covreach/stats.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/algorithms/covreach/stats.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/algorithms/covreach/stats.cc
[ 20%] Building CXX object src/CMakeFiles/libtchecker_static.dir/algorithms/explore/options.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/algorithms/explore/options.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/algorithms/explore/options.cc
[ 22%] Building CXX object src/CMakeFiles/libtchecker_static.dir/algorithms/explore/run.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/algorithms/explore/run.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/algorithms/explore/run.cc
[ 23%] Building CXX object src/CMakeFiles/libtchecker_static.dir/async_zg/async_zg_ta.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/async_zg/async_zg_ta.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/async_zg/async_zg_ta.cc
[ 25%] Building CXX object src/CMakeFiles/libtchecker_static.dir/clockbounds/clockbounds.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/clockbounds/clockbounds.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/clockbounds/clockbounds.cc
[ 26%] Building CXX object src/CMakeFiles/libtchecker_static.dir/clockbounds/solver.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/clockbounds/solver.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/clockbounds/solver.cc
[ 27%] Building CXX object src/CMakeFiles/libtchecker_static.dir/dbm/db.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/dbm/db.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/dbm/db.cc
[ 29%] Building CXX object src/CMakeFiles/libtchecker_static.dir/dbm/dbm.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/dbm/dbm.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/dbm/dbm.cc
[ 30%] Building CXX object src/CMakeFiles/libtchecker_static.dir/dbm/offset_dbm.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/dbm/offset_dbm.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/dbm/offset_dbm.cc
[ 32%] Building CXX object src/CMakeFiles/libtchecker_static.dir/expression/expression.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/expression/expression.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/expression/expression.cc
[ 33%] Building CXX object src/CMakeFiles/libtchecker_static.dir/expression/static_analysis.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/expression/static_analysis.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/expression/static_analysis.cc
[ 35%] Building CXX object src/CMakeFiles/libtchecker_static.dir/expression/type_inference.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/expression/type_inference.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/expression/type_inference.cc
[ 36%] Building CXX object src/CMakeFiles/libtchecker_static.dir/expression/typechecking.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/expression/typechecking.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/expression/typechecking.cc
[ 38%] Building CXX object src/CMakeFiles/libtchecker_static.dir/expression/typed_expression.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/expression/typed_expression.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/expression/typed_expression.cc
[ 39%] Building CXX object src/CMakeFiles/libtchecker_static.dir/fsm/details/builder.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/fsm/details/builder.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/fsm/details/builder.cc
[ 41%] Building CXX object src/CMakeFiles/libtchecker_static.dir/fsm/details/transition.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/fsm/details/transition.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/fsm/details/transition.cc
[ 42%] Building CXX object src/CMakeFiles/libtchecker_static.dir/fsm/fsm.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/fsm/fsm.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/fsm/fsm.cc
[ 44%] Building CXX object src/CMakeFiles/libtchecker_static.dir/fsm/system.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/fsm/system.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/fsm/system.cc
[ 45%] Building CXX object src/CMakeFiles/libtchecker_static.dir/basictypes.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/basictypes.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/basictypes.cc
[ 47%] Building CXX object src/CMakeFiles/libtchecker_static.dir/parsing/declaration.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/parsing/declaration.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/parsing/declaration.cc
[ 48%] Building CXX object src/CMakeFiles/libtchecker_static.dir/statement/statement.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/statement/statement.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/statement/statement.cc
[ 50%] Building CXX object src/CMakeFiles/libtchecker_static.dir/statement/static_analysis.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/statement/static_analysis.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/statement/static_analysis.cc
[ 51%] Building CXX object src/CMakeFiles/libtchecker_static.dir/statement/type_inference.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/statement/type_inference.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/statement/type_inference.cc
[ 52%] Building CXX object src/CMakeFiles/libtchecker_static.dir/statement/typechecking.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/statement/typechecking.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/statement/typechecking.cc
[ 54%] Building CXX object src/CMakeFiles/libtchecker_static.dir/statement/typed_statement.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/statement/typed_statement.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/statement/typed_statement.cc
[ 55%] Building CXX object src/CMakeFiles/libtchecker_static.dir/system/static_analysis.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/system/static_analysis.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/system/static_analysis.cc
[ 57%] Building CXX object src/CMakeFiles/libtchecker_static.dir/system/synchronization.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/system/synchronization.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/system/synchronization.cc
[ 58%] Building CXX object src/CMakeFiles/libtchecker_static.dir/ta/details/builder.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/ta/details/builder.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/ta/details/builder.cc
[ 60%] Building CXX object src/CMakeFiles/libtchecker_static.dir/ta/details/output.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/ta/details/output.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/ta/details/output.cc
[ 61%] Building CXX object src/CMakeFiles/libtchecker_static.dir/ta/details/transition.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/ta/details/transition.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/ta/details/transition.cc
[ 63%] Building CXX object src/CMakeFiles/libtchecker_static.dir/ta/system.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/ta/system.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/ta/system.cc
[ 64%] Building CXX object src/CMakeFiles/libtchecker_static.dir/ta/ta.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/ta/ta.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/ta/ta.cc
[ 66%] Building CXX object src/CMakeFiles/libtchecker_static.dir/utils/gc.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/utils/gc.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/utils/gc.cc
[ 67%] Building CXX object src/CMakeFiles/libtchecker_static.dir/utils/log.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/utils/log.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/utils/log.cc
[ 69%] Building CXX object src/CMakeFiles/libtchecker_static.dir/variables/access.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/variables/access.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/variables/access.cc
[ 70%] Building CXX object src/CMakeFiles/libtchecker_static.dir/variables/clocks.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/variables/clocks.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/variables/clocks.cc
[ 72%] Building CXX object src/CMakeFiles/libtchecker_static.dir/variables/intvars.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/variables/intvars.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/variables/intvars.cc
[ 73%] Building CXX object src/CMakeFiles/libtchecker_static.dir/variables/offset_clocks.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/variables/offset_clocks.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/variables/offset_clocks.cc
[ 75%] Building CXX object src/CMakeFiles/libtchecker_static.dir/variables/static_analysis.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/variables/static_analysis.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/variables/static_analysis.cc
[ 76%] Building CXX object src/CMakeFiles/libtchecker_static.dir/variables/variables.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/variables/variables.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/variables/variables.cc
[ 77%] Building CXX object src/CMakeFiles/libtchecker_static.dir/vm/compilers.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/vm/compilers.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/vm/compilers.cc
[ 79%] Building CXX object src/CMakeFiles/libtchecker_static.dir/vm/vm.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/vm/vm.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/vm/vm.cc
[ 80%] Building CXX object src/CMakeFiles/libtchecker_static.dir/zg/zg_ta.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/zg/zg_ta.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/zg/zg_ta.cc
[ 82%] Building CXX object src/CMakeFiles/libtchecker_static.dir/zone/dbm/semantics.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/zone/dbm/semantics.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/zone/dbm/semantics.cc
[ 83%] Building CXX object src/CMakeFiles/libtchecker_static.dir/zone/dbm/zone.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/zone/dbm/zone.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/zone/dbm/zone.cc
[ 85%] Building CXX object src/CMakeFiles/libtchecker_static.dir/zone/offset_dbm/semantics.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/zone/offset_dbm/semantics.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/zone/offset_dbm/semantics.cc
[ 86%] Building CXX object src/CMakeFiles/libtchecker_static.dir/zone/offset_dbm/zone.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/libtchecker_static.dir/zone/offset_dbm/zone.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/zone/offset_dbm/zone.cc
[ 88%] Linking CXX static library libtchecker.a
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/cmake -P CMakeFiles/libtchecker_static.dir/cmake_clean_target.cmake
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/libtchecker_static.dir/link.txt --verbose=1
/usr/bin/ar qc libtchecker.a CMakeFiles/libtchecker_static.dir/algorithms/covreach/options.cc.o CMakeFiles/libtchecker_static.dir/algorithms/covreach/run.cc.o CMakeFiles/libtchecker_static.dir/algorithms/covreach/stats.cc.o CMakeFiles/libtchecker_static.dir/algorithms/explore/options.cc.o CMakeFiles/libtchecker_static.dir/algorithms/explore/run.cc.o CMakeFiles/libtchecker_static.dir/async_zg/async_zg_ta.cc.o CMakeFiles/libtchecker_static.dir/clockbounds/clockbounds.cc.o CMakeFiles/libtchecker_static.dir/clockbounds/solver.cc.o CMakeFiles/libtchecker_static.dir/dbm/db.cc.o CMakeFiles/libtchecker_static.dir/dbm/dbm.cc.o CMakeFiles/libtchecker_static.dir/dbm/offset_dbm.cc.o CMakeFiles/libtchecker_static.dir/expression/expression.cc.o CMakeFiles/libtchecker_static.dir/expression/static_analysis.cc.o CMakeFiles/libtchecker_static.dir/expression/type_inference.cc.o CMakeFiles/libtchecker_static.dir/expression/typechecking.cc.o CMakeFiles/libtchecker_static.dir/expression/typed_expression.cc.o CMakeFiles/libtchecker_static.dir/fsm/details/builder.cc.o CMakeFiles/libtchecker_static.dir/fsm/details/transition.cc.o CMakeFiles/libtchecker_static.dir/fsm/fsm.cc.o CMakeFiles/libtchecker_static.dir/fsm/system.cc.o CMakeFiles/libtchecker_static.dir/basictypes.cc.o CMakeFiles/libtchecker_static.dir/parsing/declaration.cc.o CMakeFiles/libtchecker_static.dir/statement/statement.cc.o CMakeFiles/libtchecker_static.dir/statement/static_analysis.cc.o CMakeFiles/libtchecker_static.dir/statement/type_inference.cc.o CMakeFiles/libtchecker_static.dir/statement/typechecking.cc.o CMakeFiles/libtchecker_static.dir/statement/typed_statement.cc.o CMakeFiles/libtchecker_static.dir/system/static_analysis.cc.o CMakeFiles/libtchecker_static.dir/system/synchronization.cc.o CMakeFiles/libtchecker_static.dir/ta/details/builder.cc.o CMakeFiles/libtchecker_static.dir/ta/details/output.cc.o CMakeFiles/libtchecker_static.dir/ta/details/transition.cc.o CMakeFiles/libtchecker_static.dir/ta/system.cc.o CMakeFiles/libtchecker_static.dir/ta/ta.cc.o CMakeFiles/libtchecker_static.dir/utils/gc.cc.o CMakeFiles/libtchecker_static.dir/utils/log.cc.o CMakeFiles/libtchecker_static.dir/variables/access.cc.o CMakeFiles/libtchecker_static.dir/variables/clocks.cc.o CMakeFiles/libtchecker_static.dir/variables/intvars.cc.o CMakeFiles/libtchecker_static.dir/variables/offset_clocks.cc.o CMakeFiles/libtchecker_static.dir/variables/static_analysis.cc.o CMakeFiles/libtchecker_static.dir/variables/variables.cc.o CMakeFiles/libtchecker_static.dir/vm/compilers.cc.o CMakeFiles/libtchecker_static.dir/vm/vm.cc.o CMakeFiles/libtchecker_static.dir/zg/zg_ta.cc.o CMakeFiles/libtchecker_static.dir/zone/dbm/semantics.cc.o CMakeFiles/libtchecker_static.dir/zone/dbm/zone.cc.o CMakeFiles/libtchecker_static.dir/zone/offset_dbm/semantics.cc.o CMakeFiles/libtchecker_static.dir/zone/offset_dbm/zone.cc.o parsing/program_parser/CMakeFiles/program_parsing_static.dir/program.tab.cc.o parsing/program_parser/CMakeFiles/program_parsing_static.dir/program.lex-fixed.cc.o parsing/system_parser/CMakeFiles/system_parsing_static.dir/system.tab.cc.o parsing/system_parser/CMakeFiles/system_parsing_static.dir/system.lex-fixed.cc.o
/usr/bin/ranlib libtchecker.a
make[2]: Leaving directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
[ 88%] Built target libtchecker_static
make -f src/CMakeFiles/tchecker.dir/build.make src/CMakeFiles/tchecker.dir/depend
make[2]: Entering directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/CMakeFiles/tchecker.dir/DependInfo.cmake --color=
Dependee "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/CMakeFiles/tchecker.dir/DependInfo.cmake" is newer than depender "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/CMakeFiles/tchecker.dir/depend.internal".
Dependee "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/CMakeFiles/tchecker.dir/depend.internal".
Scanning dependencies of target tchecker
make[2]: Leaving directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
make -f src/CMakeFiles/tchecker.dir/build.make src/CMakeFiles/tchecker.dir/build
make[2]: Entering directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
[ 89%] Building CXX object src/CMakeFiles/tchecker.dir/tchecker/tchecker.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/tchecker.dir/tchecker/tchecker.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/tchecker/tchecker.cc
[ 91%] Linking CXX executable tchecker
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src && /usr/bin/cmake -E cmake_link_script CMakeFiles/tchecker.dir/link.txt --verbose=1
/usr/bin/c++ -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -rdynamic CMakeFiles/tchecker.dir/tchecker/tchecker.cc.o -o tchecker libtchecker.a
make[2]: Leaving directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
[ 91%] Built target tchecker
make -f test/testutils/CMakeFiles/testutils.dir/build.make test/testutils/CMakeFiles/testutils.dir/depend
make[2]: Entering directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/test/testutils /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/testutils /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/testutils/CMakeFiles/testutils.dir/DependInfo.cmake --color=
Dependee "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/testutils/CMakeFiles/testutils.dir/DependInfo.cmake" is newer than depender "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/testutils/CMakeFiles/testutils.dir/depend.internal".
Dependee "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/testutils/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/testutils/CMakeFiles/testutils.dir/depend.internal".
Scanning dependencies of target testutils
make[2]: Leaving directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
make -f test/testutils/CMakeFiles/testutils.dir/build.make test/testutils/CMakeFiles/testutils.dir/build
make[2]: Entering directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
[ 92%] Building CXX object test/testutils/CMakeFiles/testutils.dir/utils.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/testutils && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/test -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/testutils.dir/utils.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/test/testutils/utils.cc
[ 94%] Linking CXX static library libtestutils.a
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/testutils && /usr/bin/cmake -P CMakeFiles/testutils.dir/cmake_clean_target.cmake
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/testutils && /usr/bin/cmake -E cmake_link_script CMakeFiles/testutils.dir/link.txt --verbose=1
/usr/bin/ar qc libtestutils.a CMakeFiles/testutils.dir/utils.cc.o
/usr/bin/ranlib libtestutils.a
make[2]: Leaving directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
[ 94%] Built target testutils
make -f test/unit-tests/CMakeFiles/unittest.dir/build.make test/unit-tests/CMakeFiles/unittest.dir/depend
make[2]: Entering directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/test/unit-tests /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/unit-tests /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/unit-tests/CMakeFiles/unittest.dir/DependInfo.cmake --color=
Dependee "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/unit-tests/CMakeFiles/unittest.dir/DependInfo.cmake" is newer than depender "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/unit-tests/CMakeFiles/unittest.dir/depend.internal".
Dependee "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/unit-tests/CMakeFiles/CMakeDirectoryInformation.cmake" is newer than depender "/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/unit-tests/CMakeFiles/unittest.dir/depend.internal".
Scanning dependencies of target unittest
make[2]: Leaving directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
make -f test/unit-tests/CMakeFiles/unittest.dir/build.make test/unit-tests/CMakeFiles/unittest.dir/build
make[2]: Entering directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
[ 95%] Building CXX object test/unit-tests/CMakeFiles/unittest.dir/unittest.cc.o
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/unit-tests && /usr/bin/c++ -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/src/../include -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/test -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/test/testutils -I/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/test/unit-tests -isystem /usr/local/include -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -std=gnu++17 -o CMakeFiles/unittest.dir/unittest.cc.o -c /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/test/unit-tests/unittest.cc
In file included from /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/test/unit-tests/unittest.cc:9:
/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/test/unit-tests/test-variables-access.hh: In function ‘void ____C_A_T_C_H____T_E_S_T____358()’:
/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/test/unit-tests/test-variables-access.hh:694:56: warning: comparison of integer expressions of different signedness: ‘std::__iterator_traits<boost::container::vec_iterator<unsigned int*, true>, void>::difference_type’ {aka ‘long int’} and ‘std::size_t’ {aka ‘long unsigned int’} [-Wsign-compare]
REQUIRE( std::distance(range.begin(), range.end()) == 1 + t_size ); // i + t[]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~
/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/test/unit-tests/test-variables-access.hh:722:56: warning: comparison of integer expressions of different signedness: ‘std::__iterator_traits<boost::container::vec_iterator<unsigned int*, true>, void>::difference_type’ {aka ‘long int’} and ‘std::size_t’ {aka ‘long unsigned int’} [-Wsign-compare]
REQUIRE( std::distance(range.begin(), range.end()) == t_size ); // t[]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~
/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/test/unit-tests/test-variables-access.hh:794:56: warning: comparison of integer expressions of different signedness: ‘std::__iterator_traits<boost::container::vec_iterator<unsigned int*, true>, void>::difference_type’ {aka ‘long int’} and ‘std::size_t’ {aka ‘long unsigned int’} [-Wsign-compare]
REQUIRE( std::distance(range.begin(), range.end()) == y_size ); // y[]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~
/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/test/unit-tests/test-variables-access.hh:814:56: warning: comparison of integer expressions of different signedness: ‘std::__iterator_traits<boost::container::vec_iterator<unsigned int*, true>, void>::difference_type’ {aka ‘long int’} and ‘std::size_t’ {aka ‘long unsigned int’} [-Wsign-compare]
REQUIRE( std::distance(range.begin(), range.end()) == y_size ); // y[]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~
/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/tchecker/test/unit-tests/test-variables-access.hh:834:56: warning: comparison of integer expressions of different signedness: ‘std::__iterator_traits<boost::container::vec_iterator<unsigned int*, true>, void>::difference_type’ {aka ‘long int’} and ‘std::size_t’ {aka ‘long unsigned int’} [-Wsign-compare]
REQUIRE( std::distance(range.begin(), range.end()) == y_size ); // y[]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~
[ 97%] Linking CXX executable unittest
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/unit-tests && /usr/bin/cmake -E cmake_link_script CMakeFiles/unittest.dir/link.txt --verbose=1
/usr/bin/c++ -Wall -pthread -O3 -DNDEBUG -DNDEBUG -O2 -flto -rdynamic CMakeFiles/unittest.dir/unittest.cc.o -o unittest ../testutils/libtestutils.a ../../src/libtchecker.a /usr/local/lib/libCatch2.a
cd /home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/unit-tests && /usr/bin/cmake -D TEST_TARGET=unittest -D TEST_EXECUTABLE=/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/unit-tests/unittest -D TEST_EXECUTOR= -D TEST_WORKING_DIR=/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/unit-tests -D TEST_SPEC= -D TEST_EXTRA_ARGS= -D "TEST_PROPERTIES=FIXTURES_SETUP;BUILD_UNITTEST" -D TEST_PREFIX= -D TEST_SUFFIX= -D TEST_LIST=unittest_TESTS -D TEST_REPORTER= -D TEST_OUTPUT_DIR= -D TEST_OUTPUT_PREFIX= -D TEST_OUTPUT_SUFFIX= -D CTEST_FILE=/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/unit-tests/unittest_tests-b12d07c.cmake -P /usr/local/lib/cmake/Catch2/CatchAddTests.cmake
CMake Error at /usr/local/lib/cmake/Catch2/CatchAddTests.cmake:42 (message):
Error running test executable
'/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build/test/unit-tests/unittest':
Result: 59
Output: All available test cases:
Empty cache
[cache]
Cache with 1 element
[cache]
Cache with many elements
[cache]
construction of upper bounds
[db]
hash values of upper bounds
[db]
comparators <,<=,>=,>
[db]
sum
[db]
add
[db]
min et max
[db]
is_universal, structural tests
[dbm]
is_positive, structural test
[dbm]
is_universal_positive, structural test
[dbm]
is_empty_0, structural tests
[dbm]
is_tight, structural tests
[dbm]
universal makes universal zones
[dbm]
universal_positive makes universal-positive zones
[dbm]
tighten (full)
[dbm]
tighten w.r.t. a difference bound
[dbm]
constrain
[dbm]
DBM equality
[dbm]
DBM inclusion
[dbm]
reset DBM
[dbm]
DBM open_up (delay)
[dbm]
DBM intersection
[dbm]
Checking tightness when the 0-row is modified
[dbm]
Extrapolations from STTT06
[dbm]
Extrapolations boundary case on M/U bounds
[dbm]
Zone inclusion w.r.t. abstraction aM (1)
[dbm]
Zone inclusion w.r.t. abstraction aM (2)
[dbm]
Zone inclusion w.r.t. abstraction aLU from LICS12
[dbm]
expression with no array variables
[extract_variables]
expression with array variables
[extract_variables]
statements with no array variable
[extract_variables]
statements with array variables
[extract_variables]
no throw if no weakly synchronized events
[guard_weak_sync]
no throw if weakly synchronized events have no guard
[guard_weak_sync]
throw if first weakly synchronized event has a guard
[guard_weak_sync]
throw if last weakly synchronized event has a guard
[guard_weak_sync]
throw if middle weakly synchronized event has a guard
[guard_weak_sync]
throw if some weakly synchronized event has a guard, several transitions
[guard_weak_sync]
Offset clock variables from empty access map
[offset clock variables]
Offset clock variables from system - no array
[offset clock variables]
Offset clock variables from system - array
[offset clock variables]
translation clocks <-> offset variables
[offset_dbm]
is_positive, structural test for offset DBMs
[offset_dbm]
is_universal_positive, structural test for offset DBMs
[offset_dbm]
is_synchronized, structural test for offset DBMs
[offset_dbm]
universal_positive offset DBMs
[offset_dbm]
synchronize offset DBMs
[offset_dbm]
reset to reference clocks on offset DBMs
[offset_dbm]
asynchronous_open_up on offset DBMs
[offset_dbm]
to_dbm on offset DBMs
[offset_dbm]
lexical ordering on ranges
[ordering]
Empty access map
[access map]
Non empty access map
[access map]
variable access map computation - empty system
[access map]
variable access map computation - 1 process
[access map]
variable access map computation - 2 processes, no shared variable
[access map]
variable access map computation - 3 processes, array, shared variables
[access map]
59 test cases
make[2]: *** [test/unit-tests/CMakeFiles/unittest.dir/build.make:88: test/unit-tests/unittest] Error 1
make[2]: *** Deleting file 'test/unit-tests/unittest'
make[2]: Leaving directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
make[1]: *** [CMakeFiles/Makefile2:888: test/unit-tests/CMakeFiles/unittest.dir/all] Error 2
make[1]: Leaving directory '/home/hans.vanderlaan/Documents/PolicyVerification/TChecker/build'
make: *** [Makefile:141: all] Error 2
from tchecker.
pictavien
commented on August 30, 2024
Thanks Hans.
You've installed Catch2 from the Debian package. Did you used this package when you posted your first message ?
Actually I'm wondering why make tries to link the unittest program with /usr/local/lib/libCatch2.a.
Usually packages are not installed in /usr/local, no ?
from tchecker.
HansvdLaan
commented on August 30, 2024
Oops, I also had an old version of Catch2 installed manually. Deleting it resolved the issue.
Thank you for your help!
from tchecker.
pictavien
commented on August 30, 2024
Great !
from tchecker.
Related Issues (20)
- Duplicate custom targets not supported by cmake's Xcode generator HOT 2
- Multilines attributes HOT 2
- let garabage collection be robust to allocator destruction HOT 1
- The graph computed or output by covreach algorithm is not correct
- NR tests fail
- Output message when reading from standard input HOT 2
- Evaluation of integer expressions as Booleans
- TChecker allows invalid expressions in guards and invariants
- Segmentation fault HOT 5
- No warning when the initial state set is empty HOT 1
- Parser rejects input files that do not end with a new line
- A compiling bug HOT 4
- Crash on model with clock to clock update
- Extremely slow clock bounds computation HOT 2
- Error reported by sanitizers HOT 6
- ''make'' error HOT 2
- Can I use `tck-reach` to get the path in the automaton that witnesses reachability? HOT 3
- Using non-integer values in clock constraints? HOT 1
- Compilation fails with g++ HOT 9
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from tchecker.