diff options
| author | ZyX <kp-pav@yandex.ru> | 2017-10-14 00:26:52 +0300 |
|---|---|---|
| committer | ZyX <kp-pav@yandex.ru> | 2017-10-15 19:13:52 +0300 |
| commit | 8178ba2871bb427e03419a2f68c0fb119e44e717 (patch) | |
| tree | cb8f691d49ee6396dc69844ae4a42d29f09748d6 | |
| parent | fa3cfc0dd54df125a1dbabccda47a5f45dc483ae (diff) | |
| download | rneovim-8178ba2871bb427e03419a2f68c0fb119e44e717.tar.gz rneovim-8178ba2871bb427e03419a2f68c0fb119e44e717.tar.bz2 rneovim-8178ba2871bb427e03419a2f68c0fb119e44e717.zip | |
klee: Fix some errors made in …parser.c
| -rw-r--r-- | test/symbolic/klee/viml_expressions_parser.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/symbolic/klee/viml_expressions_parser.c b/test/symbolic/klee/viml_expressions_parser.c index e1cea2d990..a4fbdb6bf4 100644 --- a/test/symbolic/klee/viml_expressions_parser.c +++ b/test/symbolic/klee/viml_expressions_parser.c @@ -1,5 +1,4 @@ #ifdef USE_KLEE -# error UNFINISHED # include <klee/klee.h> #else # include <string.h> @@ -47,10 +46,10 @@ int main(const int argc, const char *const *const argv, #ifdef USE_KLEE klee_make_symbolic(input, sizeof(input), "input"); klee_make_symbolic(&shift, sizeof(shift), "shift"); - klee_make_symbolic(&flags, sizeof{flags}, "flags"); + klee_make_symbolic(&flags, sizeof(flags), "flags"); klee_assume(shift < INPUT_SIZE); klee_assume( - flags <= kExprFlagsMulti|kExprFlagsDisallowEOC|kExprFlagsPrintError); + flags <= (kExprFlagsMulti|kExprFlagsDisallowEOC|kExprFlagsPrintError)); #endif ParserLine plines[] = { @@ -93,5 +92,6 @@ int main(const int argc, const char *const *const argv, assert(ast.root != NULL || plines[0].size == 0); assert(ast.root != NULL || ast.err.msg); + // FIXME: check for AST recursiveness // FIXME: free memory and assert no memory leaks } |