https://github.com/ibex-team/ibex-lib
Tip revision: 081991e121a4fd04796e4fb0a0b8f0df3d3a25a8 authored by Gilles Chabert on 06 February 2017, 15:24:13 UTC
Merge branch 'develop'
Merge branch 'develop'
Tip revision: 081991e
TestSeparator.h
//============================================================================
// I B E X
// File : TestSeparator.h
// Author : Benoit Desrochers
// Copyright : Ecole des Mines de Nantes (France)
// License : See the LICENSE file
// Created : Jan 02, 2015
// Last Update : Jan 02, 2015
//============================================================================
#ifndef __TEST_SEPARATOR_H__
#define __TEST_SEPARATOR_H__
#include <cppunit/TestFixture.h>
#include <cppunit/extensions/HelperMacros.h>
#include "ibex_SepFwdBwd.h"
#include "ibex_SepCtcPair.h"
#include "ibex_SepInter.h"
#include "ibex_SepUnion.h"
#include "ibex_SepNot.h"
#include "ibex_CtcEmpty.h"
#include "ibex_CtcIdentity.h"
#include "ibex_SepQInter.h"
#include "ibex_SepInverse.h"
#include "utils.h"
namespace ibex {
class TestSeparator : public CppUnit::TestFixture {
public:
CPPUNIT_TEST_SUITE(TestSeparator);
CPPUNIT_TEST(SepFwdBwd_LT_LEQ);
CPPUNIT_TEST(SepFwdBwd_GT_GEQ);
CPPUNIT_TEST(test_SepCtcPair);
CPPUNIT_TEST(test_SepUnionInter);
CPPUNIT_TEST(test_SepNot);
CPPUNIT_TEST(test_SepQInter);
CPPUNIT_TEST(test_SepInverse);
CPPUNIT_TEST_SUITE_END();
void SepFwdBwd_LT_LEQ();
void SepFwdBwd_GT_GEQ();
void test_SepCtcPair();
void test_SepUnionInter();
void test_SepNot();
void test_SepQInter();
void test_SepInverse();
};
CPPUNIT_TEST_SUITE_REGISTRATION(TestSeparator);
} // end namespace ibex
#endif // __TEST_SEPARATOR_H__