aboutsummaryrefslogtreecommitdiff
path: root/test/symbolic/klee/nvim/charset.c
Commit message (Collapse)AuthorAge
* refactor: remove char_u (#22829)dundargoc2023-04-02
| | | Closes https://github.com/neovim/neovim/issues/459
* Use abort() instead of assert(false) for things that should never happenJames McCoy2021-01-31
| | | | | | | | 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.
* Fix multiple typos (#13063)Hansraj Das2020-10-12
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Fix multiple typos in `src/nvim/api/ui_events.in.h` * Below spellings are corrected: * Definitions * Revision * Performance * Typo fix `presense` should be presence * Typo fix, follwed -> followed * Typo fix, attemping -> attempting * Typo fix, duplicate 'the' * Typo fix, bounaries -> boundaries * Revert "Typo fix, bounaries -> boundaries" This reverts commit 24779e55e596f7534585938a7e532830ad2fa83c. * Revert "Typo fix, duplicate 'the'" This reverts commit 1d41d74f78736e67821a15edc9c174a2c3024f87. * Revert "Typo fix, attemping -> attempting" This reverts commit d8b2860dfcac366af7afae1f09946ed0aee4a34e.
* keymap: Do not use vim_isIDc in keymap.cZyX2017-11-30
| | | | | | | | Note: there are three changes to ascii_isident. Reverting first two (in find_special_key and first in get_special_key_code) normally fails the new test with empty &isident, but reverting the third does not. Hence adding `>` to &isident. Ref vim/vim#2389.
* charset: Refactor vim_str2nrZyX2017-11-06
|
* klee: Update vim_str2nr in mock as wellZyX2017-10-29
|
* charset: Do not call strlen() from vim_str2nrZyX2017-10-16
|
* charset: Avoid overflow in vim_str2nrZyX2017-10-16
|
* viml/parser/expressions,klee: Fix some problems found by KLEE runZyX2017-10-15
|
* viml/parser/expressions: Make lexer parse numbers, support non-decimalZyX2017-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.