wszystkie opcje
bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Pakiet źródłowy: vera++  ]

Pakiet: vera++ (1.3.0-1 i inne)

Odnośniki dla vera++

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego vera++:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

Programmable verification and analysis tool for C++

Vera++ is a programmable tool for verification, analysis and transformation of C++ source code. Vera++ is mainly an engine that parses C++ source files and presents the result of this parsing to scripts in the form of various collections - the scripts are actually performing the requested tasks.

Inne pakiety związane z vera++

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie vera++

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 1.3.0-1 268,0 KiB1 004,0 KiB [lista plików]
arm64 1.3.0-1+b1 207,6 KiB748,0 KiB [lista plików]
armhf 1.3.0-1 232,9 KiB808,0 KiB [lista plików]
i386 1.3.0-1 279,9 KiB985,0 KiB [lista plików]
ppc64el 1.3.0-1 269,5 KiB1 131,0 KiB [lista plików]
riscv64 1.3.0-1 261,3 KiB851,0 KiB [lista plików]
s390x 1.3.0-1 255,0 KiB1 015,0 KiB [lista plików]