diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2013-05-07 12:41:00 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2013-05-07 12:41:00 +0000 |
| commit | e4213d2ebbc51d9514e46eced5c08d117df5427e (patch) | |
| tree | a2c041434757b4afb2966a4586243c4e780f6695 /klee | |
| parent | 4cb50e3661a9a31b0af4006af490c6d888ff6608 (diff) | |
Patch by Dan Liew: "EBNF for constant array initialisation in KQuery documentation improvement."
Diffstat (limited to 'klee')
| -rw-r--r-- | klee/www/KQuery.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/klee/www/KQuery.html b/klee/www/KQuery.html index d1c6d889cd1..b135b38591f 100644 --- a/klee/www/KQuery.html +++ b/klee/www/KQuery.html @@ -267,7 +267,8 @@ <p><b>Syntax:</b></p> <div class="syntax"> array-declaration = "array" name "[" [ size ] "]" ":" domain "->" range "=" array-initializer<br> - array-initializer = "symbolic" | "[" { numeric-literal } "]"<br> + array-initializer = "symbolic" | "[" number-list "]"<br> + number-list = number | number "," number-list<br> </div> <p>Arrays can be initialized to be either symbolic, or to have a given list of |