debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	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