diff options
Diffstat (limited to 'include')
-rw-r--r-- | include/klee/klee.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/include/klee/klee.h b/include/klee/klee.h index 8b9cd2e2..9dcc9f5f 100644 --- a/include/klee/klee.h +++ b/include/klee/klee.h @@ -31,16 +31,16 @@ extern "C" { * \arg addr - The start of the object. * \arg nbytes - The number of bytes to make symbolic; currently this *must* * be the entire contents of the object. - * \arg name - An optional name, used for identifying the object in messages, - * output files, etc. + * \arg name - A name used for identifying the object in messages, output + * files, etc. If NULL, object is called "unnamed". */ void klee_make_symbolic(void *addr, size_t nbytes, const char *name); /* klee_range - Construct a symbolic value in the signed interval * [begin,end). * - * \arg name - An optional name, used for identifying the object in messages, - * output files, etc. + * \arg name - A name used for identifying the object in messages, output + * files, etc. If NULL, object is called "unnamed". */ int klee_range(int begin, int end, const char *name); |