KLEE: NOTE: Using POSIX model: /tmp/klee_build60stp_z3/Debug+Asserts/lib/libkleeRuntimePOSIX.bca KLEE: NOTE: Using libcxx : /tmp/klee_build60stp_z3/Debug+Asserts/lib/libc++.bca KLEE: NOTE: Using klee-uclibc : /tmp/klee_build60stp_z3/Debug+Asserts/lib/klee-uclibc.bca KLEE: output directory is "/home/klee/build/klee-out-9" KLEE: Using STP solver backend warning: Linking two modules of different target triples: build/testbench_uart' is 'x86_64-unknown-linux-gnu' whereas '__uClibc_main.os' is 'x86_64-pc-linux-gnu' KLEE: WARNING: undefined reference to function: _Unwind_DeleteException KLEE: WARNING: undefined reference to function: _Unwind_GetIP KLEE: WARNING: undefined reference to function: _Unwind_GetLanguageSpecificData KLEE: WARNING: undefined reference to function: _Unwind_GetRegionStart KLEE: WARNING: undefined reference to function: _Unwind_RaiseException KLEE: WARNING: undefined reference to function: _Unwind_SetGR KLEE: WARNING: undefined reference to function: _Unwind_SetIP KLEE: WARNING ONCE: Using zero size array fix for landingpad instruction filter KLEE: WARNING ONCE: Alignment of memory from call "realloc" is not modelled. Using alignment of 8. KLEE: WARNING ONCE: calling external: syscall(16, 0, 21505, 132173856) at /tmp/klee_src/runtime/POSIX/fd.c:980 10 KLEE: WARNING ONCE: calling __user_main with extra arguments. KLEE: WARNING ONCE: Alignment of memory from call "malloc" is not modelled. Using alignment of 8. KLEE: WARNING ONCE: calling __klee_posix_wrapped_main with extra arguments. KLEE: WARNING ONCE: Alignment of memory from call "_Znwm" is not modelled. Using alignment of 8. KLEE: WARNING ONCE: Alignment of memory from call "_Znam" is not modelled. Using alignment of 8. KLEE: ERROR: /home/klee/source/bench/util/memory_map.h:97: ASSERTION FAIL: local_addr + len <= mem.size() KLEE: NOTE: now ignoring this error at this location KLEE: ERROR: /tmp/llvm-60-install_O_D_A/bin/../include/c++/v1/new:236: memory error: invalid pointer: free KLEE: NOTE: now ignoring this error at this location KLEE: WARNING ONCE: calling external: _Unwind_RaiseException(51804592) at [no debug info] terminating with uncaught exception of type std::runtime_error: UART16550 unable to route address « KLEE: ERROR: (location information missing) abort failure KLEE: NOTE: now ignoring this error at this location terminating with uncaught exception of type std::runtime_error: UART16550 unable to route address «« terminating with uncaught exception of type std::runtime_error: terminating with UART16550 unable to route address ««« uncaught exception of type std::runtime_error: terminating with UART16550 unable to route address «««« uncaught exception of type terminating with std::runtime_error: UART16550 unable to route address «««««uncaught exception of type terminating with std::runtime_error: uncaughtterminating with exception of type UART16550 unable to route address «««««« std::runtime_errorterminating with : terminating with uncaught exception of type UART16550 unable to route address ««««««« uncaughtuncaughtstd::runtime_error: exception of type exception of type UART16550 unable to route address «««««««« std::runtime_errorstd::runtime_error: : UART16550 unable to route address ««««««««««UART16550 unable to route address ««««««««« KLEE: done: total instructions = 296215 KLEE: done: completed paths = 32 KLEE: done: generated tests = 3 real 0m3.486s user 0m3.017s sys 0m0.464s