3 Commits

Author	SHA1	Message	Date
ZyX	8e856ebcd0	klee: Add run.sh --help and run.sh -s	2017-10-16 09:00:39 +03:00
ZyX	3aa2c0d63a	viml/parser/expressions,klee: Fix some problems found by KLEE run	2017-10-15 21:11:00 +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