Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Removed Dafny, Jennisys, Chalice, and BCT, which now live in different ↵ | Rustan Leino | 2013-03-05 |
| | | | | Codeplex repositories. | ||
* | Chalice: Disable refinement tests. | stefanheule | 2012-03-13 |
| | |||
* | Semi-automatic merge. | stefanheule | 2012-02-25 |
|\ | |||
* | | Chalice: Include predicate tests in runalltests.bat. | stefanheule | 2012-02-25 |
| | | |||
| * | Chalice: fix all refinement regression tests | Kuat Yessenov | 2011-12-23 |
| | | |||
| * | Chalice: Changed tests/runalltests.bat such that additional parameters can ↵ | mschwerhoff | 2011-08-15 |
|/ | | | | be passed to Chalice | ||
* | Chalice: Add regression tests for all fixed bugs and separate the tests in ↵ | stefanheule | 2011-08-03 |
| | | | | 'examples' into "read" examples and general tests. | ||
* | Chalice: New test script to execute all tests (in all folder) at once. Test ↵ | stefanheule | 2011-07-07 |
scripts now set the errorlevel to the number of failed tests. |