diff options
Diffstat (limited to 'test/regress/regress0/rels/Makefile.am')
-rw-r--r-- | test/regress/regress0/rels/Makefile.am | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/test/regress/regress0/rels/Makefile.am b/test/regress/regress0/rels/Makefile.am index bb9c49298..d1c035371 100644 --- a/test/regress/regress0/rels/Makefile.am +++ b/test/regress/regress0/rels/Makefile.am @@ -102,7 +102,17 @@ TESTS = \ set-strat.cvc \ rel_tc_8.cvc \ atom_univ2.cvc \ - rels-sharing-simp.cvc + rels-sharing-simp.cvc \ + iden_0.cvc \ + iden_1_1.cvc \ + iden_1.cvc \ + joinImg_0_1.cvc \ + joinImg_0_2.cvc \ + joinImg_0.cvc \ + joinImg_1_1.cvc \ + joinImg_1.cvc \ + joinImg_2_1.cvc \ + joinImg_2.cvc # unsolved : garbage_collect.cvc |