[PATCH] D83677: [analyzer] Rework Z3 requirements in the CSA testsuite

[Balázs Benics via Phabricator via llvm-commits]

steakhal added a comment.

@Szelethus Can you vaguely remember why did we keep the `invalid-analyzer-config-value.c` test if the `invalid-a-na-ly-zer-con-fig-value.c` has the very same content?
IMO we should only keep the former with a description why has the file such a weird name :D


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

https://reviews.llvm.org/D83677