what gcc version are you using?
currently , my gcc version is 12.3.0.
when I excuate bash run_tests.sh, I got this error.
cppsafe/cppsafe/integration_test$ bash run_tests.sh
test annotation/annotation_contract.cpp
test annotation/annotation_contract.cpp failed, please rerun it with:
bash test.sh annotation/annotation_contract.cpp
detail:
../build/cppsafe: /lib/x86_64-linux-gnu/libstdc++.so.6: version `GLIBCXX_3.4.29' not found (required by ../build/cppsafe)
../build/cppsafe: /lib/x86_64-linux-gnu/libstdc++.so.6: version `CXXABI_1.3.13' not found (required by ../build/cppsafe)
what gcc version are you using? currently , my gcc version is 12.3.0. when I excuate bash run_tests.sh, I got this error.