diff options
| author | ZyX <kp-pav@yandex.ru> | 2017-10-15 21:11:00 +0300 |
|---|---|---|
| committer | ZyX <kp-pav@yandex.ru> | 2017-10-15 21:11:00 +0300 |
| commit | 3aa2c0d63ae488e302a89fdcdd650404cb2670fd (patch) | |
| tree | e9436989d55200b71188768f831e98fad09300b2 /test/symbolic/klee/viml_expressions_parser.c | |
| parent | bc386c48829c431fe5b17592c82eb4099621953a (diff) | |
| download | rneovim-3aa2c0d63ae488e302a89fdcdd650404cb2670fd.tar.gz rneovim-3aa2c0d63ae488e302a89fdcdd650404cb2670fd.tar.bz2 rneovim-3aa2c0d63ae488e302a89fdcdd650404cb2670fd.zip | |
viml/parser/expressions,klee: Fix some problems found by KLEE run
Diffstat (limited to 'test/symbolic/klee/viml_expressions_parser.c')
| -rw-r--r-- | test/symbolic/klee/viml_expressions_parser.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/test/symbolic/klee/viml_expressions_parser.c b/test/symbolic/klee/viml_expressions_parser.c index c0cedceb21..ed280adb22 100644 --- a/test/symbolic/klee/viml_expressions_parser.c +++ b/test/symbolic/klee/viml_expressions_parser.c @@ -89,8 +89,6 @@ int main(const int argc, const char *const *const argv, kvi_init(pstate.reader.lines); const ExprAST ast = viml_pexpr_parse(&pstate, flags); - assert(ast.root != NULL - || plines[0].size == 0); assert(ast.root != NULL || ast.err.msg); viml_pexpr_free_ast(ast); assert(allocated_memory == 0); |