1Fully tested: up to linearity. 2 3------------LEAKS------------- 4leaks by Domain_Difference: 54-param 6byu98-1-2-3 7darte 8durbin_e_s 9emploi 10forwardsub-1-1-2 11forwardsub-2-1-2-3 12forwardsub-3-1-2 13gesced 14gesced2 15guide 16iftest 17iftest2 18infinite 19infinite3 20levenshtein-1-2-3 21 22 23leaks by cloog_statement_copy: 24cholesky 25cholesky2 26 27 28leaks by forgotten domains !!! 29cholesky2 30 31 32------------ERRORS------------- 33errors by Domain_Difference: 34cholesky 35cholesky2 36darte 37durbin_e_s 38escedk 39forwardsub-1-1-2 40forwardsub-3-1-2 41levenshtein-1-2-3 42 43 44 45errors by pprint_equal_type: 46basic-bounds-2 47basic-bounds-6 48levenshtein-1-2-3 49 50 51 52errors by PolyhedronTSort: 53cholesky2 54cholesky 55darte 56durbin_e_s 57elimination 58escedk 59forwardsub-1-1-2 60forwardsub-2-1-2-3 61forwardsub-3-1-2 62levenshtein-1-2-3 63 64 65 66 67