Closed nicovank closed 11 months ago
Probably would be good to get some CI tests in here to make sure we don't get any regressions on any languages.
Reproduction.
% docker run -it ubuntu
% apt update
% apt install -y curl git python3 python3-pip
% apt install -y lsb-release wget software-properties-common gnupg
% curl -sSf https://apt.llvm.org/llvm.sh | bash -s -- 17 all
% git clone https://github.com/plasma-umass/cwhy.git
% cd cwhy
% python3 -m pip install --upgrade pip
% python3 -m pip install .
% `cwhy --wrapper --wrapper-compiler=clang++-17 --show-prompt diff` ./tests/c++/missing-hash.cpp | grep warning
Java is the problematic regular expression.
Testing with
missing-hash
, it's matching again the "In file included part". I will look into it soon.