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
TestFritzJohn.h
/* ============================================================================
* I B E X - Fritz-John Tests
* ============================================================================
* Copyright : Ecole des Mines de Nantes (FRANCE)
* License : This program can be distributed under the terms of the GNU LGPL.
* See the file COPYING.LESSER.
*
* Author(s) : Gilles Chabert
* Created : May 07, 2013
* ---------------------------------------------------------------------------- */
#ifndef __TEST_FRITZ_JOHN_H__
#define __TEST_FRITZ_JOHN_H__
#include <cppunit/TestFixture.h>
#include <cppunit/extensions/HelperMacros.h>
#include "utils.h"
namespace ibex {
class TestFritzJohn : public CppUnit::TestFixture {
public:
CPPUNIT_TEST_SUITE(TestFritzJohn);
CPPUNIT_TEST(test01);
CPPUNIT_TEST_SUITE_END();
void test01();
};
CPPUNIT_TEST_SUITE_REGISTRATION(TestFritzJohn);
} // end namespace
#endif /* __TEST_FRITZ_JOHN_H__ */
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...