Library for design by contract (DbC) and checking values, exceptions, and side-effects.
In a nutshell, deal empowers you to write bug-free code. By adding a few decorators to your code, you get for free tests, static analysis, formal verification, and much more.
4.24.4aarch64-darwinaarch64-linuxarmv5tel-linuxarmv6l-linuxarmv7a-darwinarmv7a-linuxarmv7l-linuxi686-cygwini686-darwini686-freebsdi686-linuxi686-windowsloongarch64-linuxm68k-linuxmicroblaze-linuxmicroblazeel-linuxmips-linuxmips64-linuxmips64el-linuxmipsel-linuxpowerpc64-linuxpowerpc64le-linuxriscv32-linuxriscv64-linuxs390-linuxs390x-linuxx86_64-cygwinx86_64-darwinx86_64-freebsdx86_64-linuxx86_64-windows