https://github.com/ibex-team/ibex-lib
Revision e5104ecde8a742dae1095a35014c530a2be22e92 authored by gchabert on 27 October 2016, 08:21:12 UTC, committed by gchabert on 27 October 2016, 08:21:12 UTC
1 parent 1925e98
Tip revision: e5104ecde8a742dae1095a35014c530a2be22e92 authored by gchabert on 27 October 2016, 08:21:12 UTC
Continuation: add all combinations of signs in the linearization test
Continuation: add all combinations of signs in the linearization test
Tip revision: e5104ec
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__
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...