neovim/test/symbolic/klee
James McCoy 27a7a4d384
Use abort() instead of assert(false) for things that should never happen
assert() is compiled out for release builds, but we don't want to
continue running in these impossible situations.

This also resolves the "implicit fallthrough" warnings for the asserts
in switch cases.
2021-01-31 11:28:52 -05:00
..
nvim Use abort() instead of assert(false) for things that should never happen 2021-01-31 11:28:52 -05:00
run.sh klee: Add run.sh --help and run.sh -s 2017-10-16 09:00:39 +03:00
viml_expressions_lexer.c viml/parser/expressions: Finish parser 2017-10-15 19:13:52 +03:00
viml_expressions_parser.c unittests,viml/parser/expressions: Start adding asgn parsing tests 2017-11-13 01:11:13 +03:00