tree 788e03618242542b0ffbdca77ad7f9d2dc062ecb
parent 99e4afd43eb41fccd595daa7d930e9c35a36460e
author Gael Guennebaud <g.gael@free.fr> 1277413581 +0200
committer Gael Guennebaud <g.gael@free.fr> 1277413581 +0200

makes sure to test small sizes