#ifndef _ASSUMPTION_TEST_H
#define _ASSUMPTION_TEST_H
#include <cppunit/TestCase.h>
#include <cppunit/TestCaller.h>
#include <cppunit/TestSuite.h>
#include <cppunit/TestResult.h>
#include <cppunit/TextTestRunner.h>
#include <cppunit/extensions/HelperMacros.h>
#include "Assumption.h"
#include <iostream>
#include <vector>

class AssumptionTest : public CppUnit::TestFixture {
  CPPUNIT_TEST_SUITE( AssumptionTest );
  CPPUNIT_TEST( testShow );
  CPPUNIT_TEST_SUITE_END();
 private:
  Assumption *a1;
 public:
  void setUp();
  void tearDown();
  void testShow();
};


#endif /* _ASSUMPTION_TEST_H */