Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Tweak the unit test documentation on Visual studio. | Dan Liew | 2015-01-29 |
* | Try to fix the "out-of-the-box" build of Boogie under Visual Studio. It turns | Dan Liew | 2015-01-29 |
* | Improve documentation on testing. | Dan Liew | 2015-01-29 |
* | Introduce unit tests which use NUnit. NUnit is now a dependency | Dan Liew | 2014-11-17 |