Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix test-suite files after change in refine tactic. | 2015-12-15 | |
* | Fix the refine related test-suite files to account for the new refine. | 2013-12-06 | |
* | Get rid of "shouldsucceed" subdirectory by moving tests to parent directory. | 2013-09-20 |