| Commit message (Collapse) | 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 |
| | | | | | | | | | | | | | out we had the repository set up in "MSBuild-Integrated package" mode[1] (missing packages won't fetched unless the user explicitly allows it for the solution) but what we want is "Automatic package restore" (provided NuGet is setup correctly automatically fetch the missing packages). I've followed the migration guide [2] and it appears that now Visual Studio will try to automatically fetch after making this change. [1] http://docs.nuget.org/consume/package-restore [2] http://docs.nuget.org/Consume/Package-Restore/Migrating-to-Automatic-Package-Restore | ||
| * | 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 |
| so developers need to install it via NuGet. There aren't many tests yet. Just a few for Core and Basetypes but hopefully more will be added in the future. More information can be found in Source/UnitTests/README.md | |||
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |