GitHub repository: CarlOsterberg/cortex-klee-tools
Primary language: LLVM
Description: Tool for approximating number of cycles cortex m4 takes for klee generated testcases