/test-suite/output-coqchk/

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