| /// @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 |