6 Commits

Author	SHA1	Message	Date
ZyX	06bdc9ed83	klee: Update vim_str2nr in mock as well	2017-10-29 01:40:55 +03:00
ZyX	5e92ee6565	charset: Do not call strlen() from vim_str2nr	2017-10-16 00:19:02 +03:00
ZyX	1a3635304b	charset: Avoid overflow in vim_str2nr	2017-10-16 00:07:32 +03:00
ZyX	3aa2c0d63a	viml/parser/expressions,klee: Fix some problems found by KLEE run	2017-10-15 21:11:00 +03:00
ZyX	163792e9b9	viml/parser/expressions: Make lexer parse numbers, support non-decimal	2017-10-15 19:13:50 +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