tests/AssertPost.cxx

   1 #include <tests/AssertPost.hxx>
   2 #include <libfsafe/assert.hxx>
   3
   4 void tests::AssertPost::passIfTrue()
   5 {
   6         ASSERT_POST(true);
   7 }
   8
   9 void tests::AssertPost::failIfFalse()
  10 {
  11         ASSERT_POST(false);
  12 }
  13
  14 void tests::AssertPost::testMessage()
  15 {
  16         try {
  17                 ASSERT_POST(false);
  18                 CPPUNIT_FAIL("false positive");
  19         } catch (libfsafe::AssertionFailure& e) {
  20                 std::string exp =
  21                         __FILE__ ":17: "
  22                         "Postcondition 'false' violated.";
  23                 std::string act = e.what();
  24                 CPPUNIT_ASSERT_EQUAL(exp, act);
  25         }
  26 }