Skip to content

Commit

Permalink
[chore] Updated README
Browse files Browse the repository at this point in the history
  • Loading branch information
@Columpio
Columpio committed Nov 7, 2023
1 parent b8a0680 commit 7d86612
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,6 @@ KLEEF Symbolic Virtual Machine
[![Build Status](https://github.com/UnitTestBot/klee/workflows/CI/badge.svg)](https://github.com/UnitTestBot/klee/actions?query=workflow%3ACI)
[![Coverage](https://codecov.io/gh/UnitTestBot/klee/branch/main/graph/badge.svg)](https://codecov.io/gh/UnitTestBot/klee)

`KLEEF` is a complete overhaul of the KLEE symbolic execution engine for LLVM, fine-tuned for a robust analysis of industrial C/C++ code.

`KLEEF`` is a complete overhaul of the KLEE symbolic execution engine for LLVM, fine-tuned for a robust analysis of industrial C/C++ code.
For further information, see the [webpage](https://toolchain-labs.com/projects/kleef.html).

0 comments on commit 7d86612

Please sign in to comment.