4 commits

Author	SHA1	Message	Date
Gwena�l Delaval	6011353cec	Added test of options ... Added script test_option which: - compile and run without option - compile with option given as argument, run - diff on the two outputs, fails if different outputs config file checks for existence of compiler (fails if not exist) statics1.ept is a copy of statics.ept ; statics2.ept depends on statics1.ept instead of statics.ept (so as dependency order => lexical order on file names)	2012-07-19 15:23:40 +02:00
Gwena�l Delaval	9c51b91fd3	Correct ctest configuration ... SET_TEST_PROPERTIES does not work with ctest < 2.8.0	2012-07-16 16:12:16 +02:00
Gwena�l Delaval	4c0b1f8431	Corrected ctest configuration file	2012-07-16 11:22:56 +02:00
Gwenaël Delaval	e424667f47	Tests with ctest ... Configuration files and scripts to perform tests with ctest - ctest can be run into the test directory or the root - the script CTestScript.cmake allows ctest to perform the whole sequence update/configure/build/test and submit the result to cdash (http://cdash.inria.fr/CDash/index.php?project=Heptagon) - gen_ctests is used to generate the file test/CTestTestfile.cmake	2012-07-16 01:03:37 +02:00