Function sym_exec_instr

util/symexec.cpp:13–25

using util::config::dbg;

static void sym_exec_instr(State &s, const Instr &i) {
  auto &val = s.exec(i);

  if (util::config::symexec_print_each_value) {
    auto &name = i.getName();
    dbg() << name;
    if (name[0] == '%')
      dbg() << " = " << val.val << " /";
    dbg() << " UB=" << val.domain << '\n';
    if (!val.return_domain.isTrue())
      dbg() << " RET=" << val.return_domain  << '\n';
  }
}

namespace util {