8 Jun
2004
8 Jun
'04
3:27 p.m.
Akim Demaille wrote:
d'ailleurs (Cf. lrde.olena.bugs) :
Thierry GERAUD wrote:
>>"Niels" == Niels van Vliet <van-vl_n(a)lrde.epita.fr> writes:
> assert(m >= 0 && n >= 0
&& b >= 0);
Pense à changer assert en precondition.
Par ailleurs, c'est pas cool les && : ça empêche de savoir lequel a
échoué sans rentrer dans le code.
impossible de placer un breakpoint dans mlc/contract.hh
car ce fichier n'apparaît pas sous ddd
(après compil avec -ggdb ou -ggdb3 et, bien sûr, sans -DNDEBUG)