aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/PrintAssumptions.out
Commit message (Expand)AuthorAge
* Test for bug #4269.Gravatar Pierre-Marie Pédrot2015-09-15
* Update test-suite after 518049fe7.Gravatar Maxime Dénès2015-09-03
* Fixing output test-suite.Gravatar Pierre-Marie Pédrot2014-07-21
* test-suite: opaque term -> opaque proofGravatar Pierre Boutillier2014-02-28
* Print logical name rather than path (thus allowing reproducible tests).Gravatar xclerc2013-12-02
* Fixing some tests from the test-suite.Gravatar ppedrot2013-09-03
* First attempt at making Print Assumption compatible with opaque modules (fix ...Gravatar letouzey2011-10-25