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