heptagon/test
Gwenal Delaval 9c51b91fd3 Correct ctest configuration
SET_TEST_PROPERTIES does not work with ctest < 2.8.0
2012-07-16 16:12:16 +02:00
..
async Test to watch sampling of returned stateful exps. 2011-12-06 15:44:20 +01:00
bad Don't remove local variables in causality 2011-10-26 16:14:02 +02:00
good Modified test t13.ept 2012-07-16 01:00:09 +02:00
image_filters small fixes 2011-11-21 09:10:27 +01:00
scripts Corrected ctest configuration file 2012-07-16 11:22:56 +02:00
check Tests: memalloc 2012-01-25 10:10:17 +01:00
CTestTestfile.cmake Correct ctest configuration 2012-07-16 16:12:16 +02:00
gen_ctests Correct ctest configuration 2012-07-16 16:12:16 +02:00