diff options
| author | ZyX <kp-pav@yandex.ru> | 2017-10-02 02:41:55 +0300 |
|---|---|---|
| committer | ZyX <kp-pav@yandex.ru> | 2017-10-15 19:13:49 +0300 |
| commit | 6168e1127c1c80a3810854649b0776146545043b (patch) | |
| tree | 27d5ff96190ca98e2694ece4e6bab7ee39e158ca /test/symbolic/klee/viml_expressions_parser.c | |
| parent | 6791c574209c83570746c139d93f8e6a6b9cd135 (diff) | |
| download | rneovim-6168e1127c1c80a3810854649b0776146545043b.tar.gz rneovim-6168e1127c1c80a3810854649b0776146545043b.tar.bz2 rneovim-6168e1127c1c80a3810854649b0776146545043b.zip | |
viml/parser/expressions: Add support for comparison operators
Diffstat (limited to 'test/symbolic/klee/viml_expressions_parser.c')
| -rw-r--r-- | test/symbolic/klee/viml_expressions_parser.c | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/test/symbolic/klee/viml_expressions_parser.c b/test/symbolic/klee/viml_expressions_parser.c index 2bad1adc53..5ad592b99f 100644 --- a/test/symbolic/klee/viml_expressions_parser.c +++ b/test/symbolic/klee/viml_expressions_parser.c @@ -91,12 +91,6 @@ int main(const int argc, const char *const *const argv, const ExprAST ast = viml_pexpr_parse(&pstate, flags); assert(ast.root != NULL || plines[0].size == 0); - assert(ast.root != NULL || !ast.correct); - assert(ast.correct - || (ast.err.msg != NULL - && ast.err.arg != NULL - && ast.err.arg >= plines[0].data - && ((size_t)(ast.err.arg - plines[0].data) + ast.err.arg_len - <= plines[0].size))); + assert(ast.root != NULL || ast.err.msg); // FIXME: free memory and assert no memory leaks } |