[PATCH] D129548: [clang][dataflow] Generate readable form of input and output of satisfiability checking for debugging purposes.

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun accepted this revision.
xazax.hun added inline comments.


================
Comment at: clang/unittests/Analysis/FlowSensitive/DebugSupportTest.cpp:230
+------------
+Unsatisfiable.
+
----------------
wyt wrote:
> @xazax.hun 
> > I don't see a test case for `Unsatisfiable` constraints.
> Here.
Whoops, indeed.  Sorry :)


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D129548/new/

https://reviews.llvm.org/D129548