mirrors/neovim
1
0
Fork 0
mirror of https://github.com/neovim/neovim.git synced 2025-11-11 13:05:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
11,423 Commits 10 Branches 55 Tags
cb708d203b36fff16b6f01a81c30ca20b51c82fc
Commit Graph

3 Commits

Author SHA1 Message Date
ZyX
c03dc13bb7 klee: Fix possible assertion error 
No idea how it did not happen to hit me yet.
 2017-10-16 03:05:27 +03:00
ZyX
9fa8f7fc0a viml/parser/expressions: Add a way to adjust lexer 
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.
 2017-10-08 22:25:08 +03:00
ZyX
7c97f78393 klee: Start preparing for klee tests 
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.
 2017-10-08 22:25:05 +03:00