+ ps.reverse_border();
+ WVPASSEQ_DOUBLE(ps.x1(), 0, 0.00001);
+ WVPASSEQ_DOUBLE(ps.y1(), 2, 0.00001);
+ WVPASSEQ_DOUBLE(ps.x2(), 2, 0.00001);
+ WVPASSEQ_DOUBLE(ps.y2(), 4, 0.00001);
+ WVPASSEQ_DOUBLE(ps.x3(), 3, 0.00001);
+ WVPASSEQ_DOUBLE(ps.y3(), 3, 0.00001);
+ WVPASSEQ_DOUBLE(ps.x4(), 1, 0.00001);
+ WVPASSEQ_DOUBLE(ps.y4(), 1, 0.00001);
+ WVPASS(!ps.right());
+ WVPASS(!ps.parallel());
+ WVPASSEQ_DOUBLE(ps.heading(), -M_PI / 4, 0.00001);