/tests/snippets/elpi/
../
test_catastrophic_backtracking.txt
test_chr.txt
test_clause.txt
test_namespace.txt
test_pred.txt
test_type.txt