Skip to content

Instantly share code, notes, and snippets.

@tomprince

tomprince/gist:736022

Created December 10, 2010 09:39
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save tomprince/736022 to your computer and use it in GitHub Desktop.
Save tomprince/736022 to your computer and use it in GitHub Desktop.
Download ZIP
coq trunk test failures
Raw
gistfile1.txt
success/Hints.v...Error! (should be accepted)
success/apply.v...Error! (should be accepted)
success/decl_mode.v...Error! (should be accepted)
success/implicit.v...Error! (should be accepted)
bugs/closed/shouldsucceed/2406.v...Error! (bug seems to be opened, please check)
output/Fixpoint.v...Error! (unexpected output)
output/NumbersSyntax.v...Error! (unexpected output)
output/PrintInfos.v...Error! (unexpected output)
output/Tactics.v...Error! (unexpected output)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment