From 8e5671a4763542c767a8bdba4b6ea41a2ad7691f Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Mon, 17 Nov 2014 20:58:26 +0000 Subject: Introduce unit tests which use NUnit. NUnit is now a dependency 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 --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 09d82658..c54c82dd 100644 --- a/.gitignore +++ b/.gitignore @@ -10,6 +10,8 @@ Source/*/bin Source/*/obj Source/Provers/*/bin Source/Provers/*/obj +Source/packages/* +Source/UnitTests/TestResult.xml Binaries/ITaskManager.dll Binaries/ITaskManager.pdb Binaries/Microsoft.SpecSharp.Runtime.dll -- cgit v1.2.3