blob: c3451789f29e3e7f556bfbbec29251265bec9834 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
/// @mainpage KLEE
///
/// @section main_intro Introduction
/// Welcome to KLEE. KLEE is a symbolic execution engine that works on LLVM
/// bitcode.
///
/// @section Documentation
/// The documentation of KLEE is composed of the Doxygen documentation
/// of the code as well as the following documents:
/// - @subpage overview
|
