path: root/test-suite/output/ltac.out

The command has indeed failed with message:
Error: Ltac variable y depends on pattern variable name z which is not bound in current context.