/test-suite/output-coqchk/

• ../
• bug_5030.out
• bug_5030.v