boolector_bv_assignment output doesn't match docs about boolector

[aniemetz]

Good catch! That's actually a documentation bug. Fixed in 510eb28.

[cdisselkoen]

Code example:

#include <boolector.h>
#include <btoropt.h>
#include <stdio.h>
#include <stdlib.h>

int main(int argc, char* argv[]) {
  Btor* btor = boolector_new();
  boolector_set_opt(btor, BTOR_OPT_OUTPUT_NUMBER_FORMAT, BTOR_OUTPUT_BASE_HEX);
  boolector_set_opt(btor, BTOR_OPT_MODEL_GEN, 2);

  BoolectorSort sort = boolector_bitvec_sort(btor, 32);
  BoolectorNode* constant = boolector_consth(btor, sort, "a1face");
  BoolectorNode* bv = boolector_var(btor, sort, "bv");
  boolector_assert(btor, boolector_eq(btor, bv, constant));

  assert(boolector_sat(btor) == BOOLECTOR_SAT);

  printf("%s\n", boolector_bv_assignment(btor, bv));

  return 0;
}