diff options
| author | dundargoc <gocdundar@gmail.com> | 2023-11-12 13:13:58 +0100 |
|---|---|---|
| committer | dundargoc <33953936+dundargoc@users.noreply.github.com> | 2023-11-12 21:26:39 +0100 |
| commit | 353a4be7e84fdc101318215bdcc8a7e780d737fe (patch) | |
| tree | ad75dc836a028d1e3596e9b09ad5d1bc118d0c01 /src | |
| parent | 2a57613b9b4206cc627efa63012aac791b8f89e0 (diff) | |
| download | rneovim-353a4be7e84fdc101318215bdcc8a7e780d737fe.tar.gz rneovim-353a4be7e84fdc101318215bdcc8a7e780d737fe.tar.bz2 rneovim-353a4be7e84fdc101318215bdcc8a7e780d737fe.zip | |
build: remove PVS
We already have an extensive suite of static analysis tools we use,
which causes a fair bit of redundancy as we get duplicate warnings. PVS
is also prone to give false warnings which creates a lot of work to
identify and disable.
Diffstat (limited to 'src')