Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Allow comments in xfails, fail make on test failureHEADmaster | David Phillips | 2019-03-16 |
* | Don't be strict about solutions | David Phillips | 2019-03-16 |
* | Tally test results, add new tests | David Phillips | 2019-03-16 |
* | Add simple solver testing framework | David Phillips | 2019-03-16 |