search for: sat_clause

...mple CXX=clang++ CC=clang CXXFLAGS="-fno-omit-frame-pointer -fsanitize=address" LDFLAGS="-fsanitize=address" python scripts/mk_make.py --debug --noomp --build build_asan cd build_asan make make c_examples LD_LIBRARY_PATH=`pwd` ./c_example ... ASSERTION VIOLATION File: ../src/sat/sat_clause.h Line: 59 # Now build without ASan cd ../ CXX=clang++ CC=clang python scripts/mk_make.py --debug --noomp --build build_noasan cd build_noasan make make c_example LD_LIBRARY_PATH=`pwd` ./c_example # No assertion is hit ``` Any insights/suggestions on how I could debug what I'm seeing further...