8 Jun
2004
8 Jun
'04
1:27 p.m.
Akim Demaille wrote:
"Niels" == Niels van Vliet <van-vl_n@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.
d'ailleurs (Cf. lrde.olena.bugs) : Thierry GERAUD wrote:
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)