зеркало из https://github.com/microsoft/clang-1.git
Fix typo. (s/Explided/Exploded/)
Patch by Sean McBride. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@164318 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Родитель
a193f20916
Коммит
cb5336fa59
|
@ -82,7 +82,7 @@ for general developer guidelines and information. </p>
|
|||
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>.
|
||||
|
|
Загрузка…
Ссылка в новой задаче