title: Problems with setting breakpoints in a gdb sciprt
body: <p>I am using this gdb script with 5 breakpoints:</p>
  
  <pre><code>set pagination off
  break rewriter_def.h:679
  break asserted_formulas.cpp:149
  break Z3Solver.cpp:221
  break api_solver.cpp:247
  break smt_context.cpp:2950
  run
  </code></pre>
  
  <p>When gdb runs, <strong>it stops in the third breakpoint</strong>,
  but <strong>not</strong> in the other breakpoints:</p>
  
  <pre><code>Breakpoint 1, klee::Z3SolverImpl::internalRunSolver ( ... ) at 
  Z3Solver.cpp:221
  221    int dave=0;
  </code></pre>
  
  <p>I make sure the <strong>other breakpoints weren't really set</strong>,
  by trying to manually clear them from the gdb console:</p>
  
  <pre><code>(gdb) clear api_solver.cpp:247
  No breakpoint at api_solver.cpp:247.
  </code></pre>
  
  <p>If I manually copy and paste the other break commands
  from the script file to the gdb console,
  <strong>everything works fine</strong>:</p>
  
  <pre><code>(gdb) break api_solver.cpp:247
  Breakpoint 2 at 0x7ffff5afbb31: file ../src/api/api_solver.cpp, line 
  247.
  (gdb) cont
  Continuing.
  
  Breakpoint 2, Z3_solver_assert ( ... ) at ../src/api/api_solver.cpp:247
  247    to_solver_ref(s)-&gt;assert_expr(to_expr(a));
  </code></pre>
  
  <p>The breakpoint that is being set by the script originates
  from one source tree (KLEE),
  and the other four breakpoints that are not being set originate
  from another source tree (Z3).
  Could this be some kind of a PATH problem??
  Any help is very much appreciated, thanks!</p>