Skip to content
Sections
>> Trisquel >> Pakete >> aramo >> libdevel >> libboost-contract-dev
nabia  ] [  aramo  ]
[ Quellcode: boost-defaults  ]

Paket: libboost-contract-dev (1.74.0.3ubuntu7)

Contract library for C++ - dev files (default version)

This package forms part of the Boost C++ Libraries collection.

All contract programming features are supported: Subcontracting, class invariants, postconditions (with old and return values), preconditions, customizable actions on assertion failure (e.g., terminate or throw), optional compilation and checking of assertions, etc.

This package is a dependency package, which depends on Debian's default Boost version (currently 1.74).

Andere Pakete mit Bezug zu libboost-contract-dev

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

libboost-contract-dev herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
amd64 3,2 kB11 kB [Liste der Dateien]