aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/Existentials.out
Commit message (Expand)AuthorAge
* Do not give a name to anonymous evars anymore. See bug #4547.Gravatar Pierre-Marie Pédrot2016-02-13
* Fixing output test Existentials.v after eec77191b.Gravatar Hugo Herbelin2015-11-07
* Adapting output tests to current naming of evars, even if unclearGravatar Hugo Herbelin2014-11-11
* An evar name changed in output test.Gravatar Hugo Herbelin2014-10-02
* Adapting to naming of evars.Gravatar Hugo Herbelin2014-09-27
* Test suite: update output reference.Gravatar xclerc2013-12-02
* Fixing 2 output test-suites.Gravatar ppedrot2013-10-08
* Adapting test Existentials to new numbering strategy of evars (r14764).Gravatar herbelin2011-12-07
* test-suite: fix output/Existentials.outGravatar glondu2010-10-06
* Fix test output mentionning an existential number that changed.Gravatar msozeau2009-04-20
* The initial state evar numbering increased. Fix output message in a test.Gravatar puech2009-01-19
* Regression test for bug #1967Gravatar herbelin2009-01-02