ASAN:SIGSEGV
=================================================================
==61969==ERROR: AddressSanitizer: SEGV on unknown address 0x000000000030 (pc 0x7f554a25dd78 bp 0x7ffce337f9f0 sp 0x7ffce337f9c0 T0)
#0 0x7f554a25dd77 in btor_exp_bv_srl /home/peisen/test/tofuzz/boolector/src/btorexp.c:1137
#1 0x7f554a2582ea in btor_exp_create /home/peisen/test/tofuzz/boolector/src/btorexp.c:51
#2 0x7f554a435281 in elim_vars /home/peisen/test/tofuzz/boolector/src/preprocess/btorder.c:401
#3 0x7f554a4359c8 in btor_cer_node /home/peisen/test/tofuzz/boolector/src/preprocess/btorder.c:445
#4 0x7f554a352eea in simplify /home/peisen/test/tofuzz/boolector/src/btorslvquant.c:2587
#5 0x7f554a353151 in sat_quant_solver /home/peisen/test/tofuzz/boolector/src/btorslvquant.c:2611
#6 0x7f554a24c51c in btor_check_sat /home/peisen/test/tofuzz/boolector/src/btorcore.c:3036
#7 0x7f554a14a96f in boolector_sat /home/peisen/test/tofuzz/boolector/src/boolector.c:639
#8 0x7f554a425f90 in check_sat /home/peisen/test/tofuzz/boolector/src/parser/btorsmt2.c:4529
#9 0x7f554a429a0b in read_command_smt2 /home/peisen/test/tofuzz/boolector/src/parser/btorsmt2.c:4695
#10 0x7f554a42c937 in parse_smt2_parser /home/peisen/test/tofuzz/boolector/src/parser/btorsmt2.c:4952
#11 0x7f554a2a5eae in parse_aux /home/peisen/test/tofuzz/boolector/src/btorparse.c:68
#12 0x7f554a2a7ae6 in btor_parse /home/peisen/test/tofuzz/boolector/src/btorparse.c:235
#13 0x7f554a1b4aeb in boolector_parse /home/peisen/test/tofuzz/boolector/src/boolector.c:4680
#14 0x40cb32 in boolector_main /home/peisen/test/tofuzz/boolector/src/btormain.c:1440
#15 0x4024f5 in main /home/peisen/test/tofuzz/boolector/src/boolectormain.c:17
#16 0x7f5549cb282f in __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x2082f)
#17 0x402408 in _start (/home/peisen/test/tofuzz/boolector/build/bin/boolector+0x402408)
AddressSanitizer can not provide additional info.
SUMMARY: AddressSanitizer: SEGV /home/peisen/test/tofuzz/boolector/src/btorexp.c:1137 btor_exp_bv_srl
==61969==ABORTING
Hi, for the following formula,
boolector (commit 76aafdf) throws a seg fault