Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-03-07 | Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively. | Cristian Cadar | |
2018-10-29 | add %OOopt to recently added tests and Concrete | Julian Büning | |
2018-06-29 | fix out of range access in KleeHandler::getKTestFilesInDir | Frank Busse | |