search for: build_noasan

...t; 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 would be appreciated. [1] https://github.com/z3prover/z3 [2] https://github.com/Z3Prover/z3/issues/436 Thanks, Dan. ---------...