KLEE: WARNING: calling external: log(0x3ff0000000000000). Return Type double
Stack:
#0 0000 in helper_fyl2xp1 ()
#1 0000 in tcg-llvm-7825-b379af60 ( [0x7fcbe4009750])
#2 0000 in s2e_dummyMainFunction ()
441 [State 0] Terminating state: Could not find address of external function log
https://groups.google.com/d/msgid/s2e-dev/05b0d61e-ccb0-43ef-9480-d0a77f92a70an%40googlegroups.com?utm_medium=email&utm_source=footer