Index: lib/fuzzer/scripts/merge_data_flow.py =================================================================== --- lib/fuzzer/scripts/merge_data_flow.py +++ lib/fuzzer/scripts/merge_data_flow.py @@ -29,7 +29,7 @@ else: D[F] = BV; for F in D.keys(): - print("%s %s" % (F, D[F])) + print("%s %s" % (F, str(D[F]))) if __name__ == '__main__': main(sys.argv)