[cfe-commits] r164318 - /cfe/trunk/www/analyzer/checker_dev_manual.html
David Blaikie
dblaikie at gmail.com
Thu Sep 20 13:59:22 PDT 2012
Author: dblaikie
Date: Thu Sep 20 15:59:21 2012
New Revision: 164318
URL: http://llvm.org/viewvc/llvm-project?rev=164318&view=rev
Log:
Fix typo. (s/Explided/Exploded/)
Patch by Sean McBride.
Modified:
cfe/trunk/www/analyzer/checker_dev_manual.html
Modified: cfe/trunk/www/analyzer/checker_dev_manual.html
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/www/analyzer/checker_dev_manual.html?rev=164318&r1=164317&r2=164318&view=diff
==============================================================================
--- cfe/trunk/www/analyzer/checker_dev_manual.html (original)
+++ cfe/trunk/www/analyzer/checker_dev_manual.html Thu Sep 20 15:59:21 2012
@@ -82,7 +82,7 @@
the values of all the expressions in the program based on the input symbols
and the path. The execution is path sensitive and every possible path through
the program is explored. The explored execution traces are represented with
- <a href="http://clang.llvm.org/doxygen/classclang_1_1ento_1_1ExplodedGraph.html">ExplidedGraph</a> object.
+ <a href="http://clang.llvm.org/doxygen/classclang_1_1ento_1_1ExplodedGraph.html">ExplodedGraph</a> object.
Each node of the graph is
<a href="http://clang.llvm.org/doxygen/classclang_1_1ento_1_1ExplodedNode.html">ExplodedNode</a>,
which consists of a <tt>ProgramPoint</tt> and a <tt>ProgramState</tt>.
More information about the cfe-commits
mailing list