Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merging complete. Everything looks good *crosses fingers* | 2016-06-06 | |
| | |||
* | Fix lit test suite when running Boogie under a path that contains | 2014-05-27 | |
| | | | | spaces. | ||
* | Set the following tests to expected failure under lit. Having these | 2014-05-19 | |
| | | | | | | | | | | | | | | | reported is unnecessary noise right now. Someone needs to fix these tests but I'm not the author. Boogie :: og/DeviceCacheSimplified.bpl Boogie :: og/DeviceCacheWithBuffer.bpl Boogie :: og/async.bpl Boogie :: og/houd1.bpl Boogie :: og/lock-introduced.bpl Boogie :: og/termination.bpl Boogie :: og/treiber-stack.bpl Boogie :: test21/Maps2.bpl Boogie :: test21/test3_AddMethod_conv.bpl | ||
* | Enabled "Verify Boogie 2" lit tests. Note the following tests fail | 2014-05-07 | |
| | | | | | | | | because they were never properly tested in the the old testing infrastructure. test21/Maps2.bpl test21/test3_AddMethod_conv.bpl | ||
* | Initial set of files. | 2009-07-15 | |