aboutsummaryrefslogtreecommitdiff
path: root/test/symbolic/klee/nvim/memory.c
Commit message (Collapse)AuthorAge
* Use abort() instead of assert(false) for things that should never happenJames McCoy2021-01-31
| | | | | | | | 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.
* klee: Fix possible assertion errorZyX2017-10-16
| | | No idea how it did not happen to hit me yet.
* viml/parser/expressions: Add a way to adjust lexerZyX2017-10-08
| | | | | | | It also adds support for kExprLexOr which for some reason was forgotten. It was only made sure that KLEE test compiles in non-KLEE mode, not that something works or that KLEE is able to run tests.
* klee: Start preparing for klee testsZyX2017-10-08
First stage: something compiling without klee, but with a buch of dirty hacks - done. Second stage: something running under klee, able to emit useful results, but still using dirty hacks - done. Third stage: make CMake care about clang argumnets - not done, may be omitted if proves to be too hard. Not that klee can be run on CI in any case.