diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-11-17 20:58:26 +0000 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-11-17 20:58:26 +0000 |
commit | 8e5671a4763542c767a8bdba4b6ea41a2ad7691f (patch) | |
tree | 2bf38d77e7b39dbfe009239e6c13baab54b80238 /.gitignore | |
parent | c7a2a70a879e2506f6470e0abab2e03b1b60408a (diff) |
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
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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
|