NoQ added a comment.

We might as well make a directory for z3-specific tests. Eg., 
`z3/bool-bit-width.c`.

Also does this test need to be z3-specific? We would also not like to crash 
here without z3.


Repository:
  rC Clang

https://reviews.llvm.org/D47617



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to