diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2013-05-07 12:42:36 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2013-05-07 12:42:36 +0000 |
| commit | 1d5d735f6b9d612f9d57b7ba84805f8896e3e496 (patch) | |
| tree | 844289f2e11fbe30318ed6e0f1f5f638426ae08e /www/KQuery.html | |
| parent | 65db62cf2c189d76e0dae83d769364f24338965b (diff) | |
| download | klee-1d5d735f6b9d612f9d57b7ba84805f8896e3e496.tar.gz | |
Patch by Dan Liew: 'Improved clarity of KQuery documentation by changing "version-specifier" to "version"'
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181309 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www/KQuery.html')
| -rw-r--r-- | www/KQuery.html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/www/KQuery.html b/www/KQuery.html index b135b385..15fbfdf7 100644 --- a/www/KQuery.html +++ b/www/KQuery.html @@ -546,13 +546,13 @@ <p><b>Syntax:</b></p> <div class="syntax"> - expression = "(" "Read" type index-expression version-specifier ")"<br> + expression = "(" "Read" type index-expression version ")"<br> </div> <p>The <b>Read</b> expression evaluates to the first write - in <i>version-specifier</i> for which <i>index-expression</i> is equivalent to + in <i>version</i> for which <i>index-expression</i> is equivalent to the index in the write. The type of the expression must match the range of the - root array in <i>version-specifier</i>, and the type + root array in <i>version</i>, and the type of <i>index-expression</i> must match the domain.</p> <h4><a name="Select_expr">Select</a></h4> @@ -593,8 +593,8 @@ <p><b>Syntax:</b></p> <div class="syntax"> - expression = "(" "ReadLSB" type index-expression version-specifier ")"<br> - expression = "(" "ReadMSB" type index-expression version-specifier ")"<br> + expression = "(" "ReadLSB" type index-expression version ")"<br> + expression = "(" "ReadMSB" type index-expression version ")"<br> </div> <p><b>ReadLSB</b> and <b>ReadMSB</b> can be used to simplify contiguous array |