xazax.hun added inline comments.
================
Comment at: clang/test/Analysis/z3/pretty-dump.c:15
+ // CHECK: "constraints": [
+ // CHECK-NEXT: { "symbol": "(reg_$[[#]]<int x>) == 3", "range": "(=
reg_$[[#]] #x00000003)" }
+ }
----------------
Will this test case work with non-debug builds?
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D86223/new/
https://reviews.llvm.org/D86223
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
