diff options
| author | ZyX <kp-pav@yandex.ru> | 2017-11-12 02:18:43 +0300 |
|---|---|---|
| committer | ZyX <kp-pav@yandex.ru> | 2017-11-12 02:18:43 +0300 |
| commit | c7495ebcc0918ffd682083408895451318e41d1f (patch) | |
| tree | a5868eb68f0308c8ce5eae057aa47f9adb6ab36d /test/symbolic/klee/viml_expressions_parser.c | |
| parent | 1aa6276c29d562a6287519e6755a613eabca5c31 (diff) | |
| download | rneovim-c7495ebcc0918ffd682083408895451318e41d1f.tar.gz rneovim-c7495ebcc0918ffd682083408895451318e41d1f.tar.bz2 rneovim-c7495ebcc0918ffd682083408895451318e41d1f.zip | |
viml/parser/expressions: Add support for parsing assignments
Diffstat (limited to 'test/symbolic/klee/viml_expressions_parser.c')
| -rw-r--r-- | test/symbolic/klee/viml_expressions_parser.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/symbolic/klee/viml_expressions_parser.c b/test/symbolic/klee/viml_expressions_parser.c index 9448937430..fd75e8d355 100644 --- a/test/symbolic/klee/viml_expressions_parser.c +++ b/test/symbolic/klee/viml_expressions_parser.c @@ -48,7 +48,8 @@ int main(const int argc, const char *const *const argv, klee_make_symbolic(&shift, sizeof(shift), "shift"); klee_make_symbolic(&flags, sizeof(flags), "flags"); klee_assume(shift < INPUT_SIZE); - klee_assume(flags <= (kExprFlagsMulti|kExprFlagsDisallowEOC)); + klee_assume( + flags <= (kExprFlagsMulti|kExprFlagsDisallowEOC|kExprFlagsParseLet)); #endif ParserLine plines[] = { |