[PPL-devel] ppl/tests/Octagonal_Shape relatwithcons2.cc
mazzi at cs.unipr.it
Tue Apr 3 14:43:01 CEST 2007
Module name: ppl
Changes by: mazzi at cs.unipr.it 2007-04-03 14:43:01
Added two new tests on `Octagonal_Shape::relation_with(c)'.
Test18() shows a bug in relation_with(const Constraint& c)
when the constraint `c' is `1 == 0'.
More information about the PPL-devel