diff options
| author | ZyX <kp-pav@yandex.ru> | 2017-10-06 01:19:43 +0300 |
|---|---|---|
| committer | ZyX <kp-pav@yandex.ru> | 2017-10-15 19:13:50 +0300 |
| commit | 163792e9b9854fe046ada3233dec0fd0f6c55737 (patch) | |
| tree | 2cb7739324748a54f609881f0870431cc7e5617a /test/symbolic/klee/viml_expressions_lexer.c | |
| parent | 0bc4e2237960712426da3774c1430f5874c49aea (diff) | |
| download | rneovim-163792e9b9854fe046ada3233dec0fd0f6c55737.tar.gz rneovim-163792e9b9854fe046ada3233dec0fd0f6c55737.tar.bz2 rneovim-163792e9b9854fe046ada3233dec0fd0f6c55737.zip | |
viml/parser/expressions: Make lexer parse numbers, support non-decimal
Diffstat (limited to 'test/symbolic/klee/viml_expressions_lexer.c')
| -rw-r--r-- | test/symbolic/klee/viml_expressions_lexer.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/test/symbolic/klee/viml_expressions_lexer.c b/test/symbolic/klee/viml_expressions_lexer.c index 67f3eb7faa..cddc1cb2f1 100644 --- a/test/symbolic/klee/viml_expressions_lexer.c +++ b/test/symbolic/klee/viml_expressions_lexer.c @@ -2,6 +2,7 @@ # include <klee/klee.h> #else # include <string.h> +# include <stdio.h> #endif #include <stddef.h> #include <stdint.h> @@ -56,7 +57,7 @@ int main(const int argc, const char *const *const argv, .data = &input[shift], .size = sizeof(input) - shift, #else - .data = (const char *)&argv[1], + .data = (const char *)argv[1], .size = strlen(argv[1]), #endif .allocated = false, @@ -97,4 +98,7 @@ int main(const int argc, const char *const *const argv, } assert(allocated_memory == 0); assert(ever_allocated_memory == 0); +#ifndef USE_KLEE + fprintf(stderr, "tkn: %s\n", viml_pexpr_repr_token(&pstate, token, NULL)); +#endif } |