aboutsummaryrefslogtreecommitdiff
path: root/test/symbolic/klee/viml_expressions_parser.c
Commit message (Collapse)AuthorAge
* unittests,viml/parser/expressions: Start adding asgn parsing testsZyX2017-11-13
|
* viml/parser/expressions: Add support for parsing assignmentsZyX2017-11-12
|
* viml/parser/expressions: Remove unused flagZyX2017-10-16
|
* klee: Include colors in testZyX2017-10-16
|
* viml/parser/expressions,klee: Fix some problems found by KLEE runZyX2017-10-15
|
* viml/parser/expressions,tests: Add AST freeing, with sanity checksZyX2017-10-15
|
* klee: Fix some errors made in …parser.cZyX2017-10-15
|
* viml/parser/expressions: Add support for string parsingZyX2017-10-15
|
* viml/parser/expressions: Add support for comparison operatorsZyX2017-10-15
|
* klee: Start preparing for klee testsZyX2017-10-08
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.