22 Nov
2006
22 Nov
'06
10:06 a.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2006-11-22 10:06:00
Modified files: tests/BD_Shape : relations3.cc tests/Octagonal_Shape: relatwithgen1.cc
Log message: Added 2 tests to each of these test files. The first of these (13 in BD_Shape/relations3.cc and 20 in Octagonal_Shape/relatwithgen1.cc) throw an exception but the call to these is commented for now. The second of these (14 in BD_Shape/relations3.cc and 21 in Octagonal_Shape/relatwithgen1.cc) fail indicating a possible bug.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/relations3.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/relatwit...