4 Commits

Author	SHA1	Message	Date
James McCoy	27a7a4d384	Use abort() instead of assert(false) for things that should never happen ... 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.	2021-01-31 11:28:52 -05:00
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