Alle Optionen
bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Quellcode: vera++  ]

Paket: vera++ (1.3.0-2)

Links für vera++

Screenshot

Debian-Ressourcen:

Quellcode-Paket vera++ herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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.

Andere Pakete mit Bezug zu vera++

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

vera++ herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
amd64 237,9 kB760,0 kB [Liste der Dateien]
arm64 208,3 kB811,0 kB [Liste der Dateien]
armhf 202,4 kB552,0 kB [Liste der Dateien]
i386 249,4 kB753,0 kB [Liste der Dateien]
ppc64el 239,0 kB939,0 kB [Liste der Dateien]
riscv64 230,1 kB607,0 kB [Liste der Dateien]
s390x 227,4 kB775,0 kB [Liste der Dateien]