coq/test-suite/bugs/closed/shouldfail, branch master

Get rid of "shouldfail" subdirectory by moving tests to parent directory.

2013-09-20T12:33:49+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16796 85f007b7-540e-0410-9357-904b9bb8a0f7

Update test for bug 2846 in order to use "Fail".

2013-09-20T11:21:41+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16793 85f007b7-540e-0410-9357-904b9bb8a0f7

Use "Fail" rather than rely on exit code.

2013-09-20T09:34:06+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16792 85f007b7-540e-0410-9357-904b9bb8a0f7

Added test for bug #2846.

2013-08-04T19:15:34+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16663 85f007b7-540e-0410-9357-904b9bb8a0f7

Fix bug #2586 and enhance clsubst* as well as a side effect

2011-10-18T09:33:55+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14570 85f007b7-540e-0410-9357-904b9bb8a0f7

Some fixes of the test-suite scripts

2011-02-21T18:05:41+00:00

In particular, the Fail meta-command cannot for the moment catch a Syntax Error,
which is raised by Vernac.parse_sentence, before we even now that the line starts
by a Fail...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13847 85f007b7-540e-0410-9357-904b9bb8a0f7

Granting wish #2251 (forbidding rewriting a term reduced to an evar)

2010-04-05T11:21:44+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12900 85f007b7-540e-0410-9357-904b9bb8a0f7

Delete trailing whitespaces in all .{v,ml} files

2009-09-17T15:58:14+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12337 85f007b7-540e-0410-9357-904b9bb8a0f7

closed bug 1898: fold x in x; added a reordering primitive tactic

2008-11-26T15:12:01+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11632 85f007b7-540e-0410-9357-904b9bb8a0f7

Fixed bug #2006 (type constraint on Record was not taken into account) +

2008-11-23T07:39:39+00:00

slight improving of the printing of record.



git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11619 85f007b7-540e-0410-9357-904b9bb8a0f7