https://github.com/ibex-team/ibex-lib
Tip revision: 0faceec19b98127c1eadde1c2f423bfde2d14e2e authored by Gilles Chabert on 19 September 2018, 12:24:59 UTC
Fix small problem with archi 2.7 and Affine2 plugin
Fix small problem with archi 2.7 and Affine2 plugin
Tip revision: 0faceec
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__ */