https://github.com/steakhal commented:
Looks pretty good. I had some comments but nothing major. Have you tried running this z3 constraint manager on realisitc projects? https://github.com/llvm/llvm-project/pull/205078 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
