/test-suite/failure/

• ../
• Case1.v
• Case10.v
• Case11.v
• Case12.v
• Case13.v
• Case14.v
• Case15.v
• Case16.v
• Case2.v
• Case3.v
• Case4.v
• Case5.v
• Case6.v
• Case7.v
• Case8.v
• Case9.v
• ClearBody.v
• Tauto.v
• cases.v
• check.v
• clash_cons.v
• clashes.v
• coqbugs0266.v
• fixpoint1.v
• illtype1.v
• ltac1.v
• ltac2.v
• ltac3.v
• ltac4.v
• params_ind.v
• positivity.v
• redef.v
• search.v
• universes-buraliforti.v
• universes-sections1.v
• universes-sections2.v
• universes.v
• universes2.v