软件包：libboost-contract1.74.0（1.74.0+ds1-23.1 以及其他的） [debports]
Contract library for C++
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.
其他与 libboost-contract1.74.0 有关的软件包
|
|
|
|
-
- dep: libc6.1 (>= 2.37)
- GNU C 语言运行库：共享库
同时作为一个虚包由这些包填实： libc6.1-udeb
-
- dep: libstdc++6 (>= 13.1)
- GNU 标准 C++ 库，第3版
-
- dep: libunwind8
- library to determine the call-chain of a program - runtime