Esempi in C++ (Cpp) per vc_bvXorExpr

Esempio n. 1

File: fnv_algo.cpp Progetto: FrancisRussell/fnv_solver

Expr FNVAlgo::fnv1a(VC& checker, const Expr& hash, const Expr& prime, const Expr& octet)
{
  const int width = getVWidth(hash);
  assert(width == getVWidth(prime));
  assert(width == getVWidth(octet));

  Expr result = hash;
  result = vc_bvXorExpr(checker, result, octet);
  result = vc_bvMultExpr(checker, getVWidth(hash), result, prime);
  return result;
}

Esempio n. 2

File: cvcl_ocaml_wrappers.c Progetto: spl/ivy

value caml_vc_bvXorExpr(value vc, value e1, value e2)
{
  CAMLparam3(vc,e1,e2);
  CAMLreturn(alloc_Expr(vc_bvXorExpr(VC_val(vc),Expr_val(e1),Expr_val(e2))));
}