This fixes a "Scanf.Scan_failure("bad input: format type mismatch between \"#x%02x\" and \"# x%0Lx\"")" error arising out of ocaml/smt_lib2.ml#bvconst_str that was causing the generated format string passed to Scanf.format_from_string to not match our hard-coded "#x%0Lx" format. This changes the code so that it generated a format string that matches our hard-coded version. This change is only relevant to use of FuzzBALL's "-tables-as-arrays" option that causes FuzzBALL to use theory of arrays support in the solver.
This fixes a "Scanf.Scan_failure("bad input: format type mismatch between \"#x%02x\" and \"# x%0Lx\"")" error arising out of ocaml/smt_lib2.ml#bvconst_str that was causing the generated format string passed to Scanf.format_from_string to not match our hard-coded "#x%0Lx" format. This changes the code so that it generated a format string that matches our hard-coded version. This change is only relevant to use of FuzzBALL's "-tables-as-arrays" option that causes FuzzBALL to use theory of arrays support in the solver.