search

ispras / cv

Klever Continuous Verification Framework
Apache License 2.0
1 stars 3 forks source link

Support for notes #61

Closed mutilin closed 4 months ago

mutilin commented 8 months ago
  1. [x] Комментарий от cpachecker показывать в дополнение к коду, так как это дополнительная информация к коду, а не замена кода. Кроме модельных LDV и emg (и каких еще?) комментариев.
  2. [ ] CPAchecker выдает hide=false на все комментарии (это скорее всего неверно)
  3. [ ] Не щелкается последняя строчка (добавить)
  4. [ ] Показывать hide=false немного другим цветом
  5. [x] Поддерживать несколько ноутов на одну строчку (одинакового или разного level)
mutilin commented 8 months ago

CPAchecker outputs hide=false for all comments

mutilin commented 8 months ago

/cc @vmordan @PavelAndrianov @Druidos

vmordan commented 8 months ago

Workaround for hide=false - https://github.com/vmordan/cvv/pull/6

vmordan commented 8 months ago

Support of several notes: https://github.com/ispras/cv/pull/63

vmordan commented 4 months ago

All CPAchecker note come with hide=false, this attribute is for Klever only. If we set note to hide=true then comment will not be shown.