Hello. I'm working on CMake build for KLEE and can't make tests to work right. I copied CMakeLists.txt from clang/test directory and adapted it for KLEE. Tests seem to run right, but they are all failing due to:<br>

<br><blockquote style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;" class="gmail_quote">Exit Code: 0 (but there was output on stderr)<br></blockquote><div><br>The interesting thing is that if i run `make test` after building KLEE using autotools build, all tests are passing. I have absolutely no idea on how testing infrastructure works, so any help would be appreciated.<br>

</div>