From: David Blaikie Date: Thu, 20 Sep 2012 20:59:21 +0000 (+0000) Subject: Fix typo. (s/Explided/Exploded/) X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=cb5336fa5985a02298aeccf473257c0fcd6b89b4;p=clang 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 --- diff --git a/www/analyzer/checker_dev_manual.html b/www/analyzer/checker_dev_manual.html index fc9adf371e..043b53612a 100644 --- a/www/analyzer/checker_dev_manual.html +++ b/www/analyzer/checker_dev_manual.html @@ -82,7 +82,7 @@ for general developer guidelines and information.

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 - ExplidedGraph object. + ExplodedGraph object. Each node of the graph is ExplodedNode, which consists of a ProgramPoint and a ProgramState.