Generation of Test Cases with KLEE

Currently I am using KLEE to generate test cases for my software. As far as I know, KLEE generates test cases that satisfy branch coverage.

I would like to experiment with other coverage criteria. May I ask, where exactly (in the source code) KLEE produce combinations of test cases, and do you recommend modifying them to other coverage criteria?

Thank you.