klee-unit cannot recognize non-C types #1
Description
Due to the lack of header information, types defined in project headers will not be recognized and will rejected.
{{ message }}
Due to the lack of header information, types defined in project headers will not be recognized and will rejected.