about summary refs log tree commit diff homepage
path: root/docs/intro
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