ticktac-project/tchecker

clang-9 warnings

Closed this issue · 0 comments

adl commented

FYI compiling with clang-9 is quite verbose (too long for the 65536-character limit of GitHub's issues). Fortunately, it seems there are many duplicate messages.

Attached is the result of

% mkdir build
% cd build
% CXX=clang++-9 cmake ..
% make >& log.txt

log.txt