summaryrefslogtreecommitdiff
path: root/Source/UnitTests
Commit message (Expand)AuthorAge
* Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
* Fix bug in BigDec.FloorCeiling() which gave the wrong answers forGravatar Dan Liew2015-03-10
* Protect Bitvector field of BvExtractExpr when it is immutable.Gravatar Dan Liew2015-02-12
* Protect E0 and E1 in BvConcatExpr if Expr is immutable.Gravatar Dan Liew2015-02-12
* Protect the Args field of NAryExpr when it is immutable.Gravatar Dan Liew2015-02-12
* Backed out changeset ed4196d6fe50Gravatar Dan Liew2015-01-29
* Make NUnit.Runners a require NuGet package again. This is anGravatar Dan Liew2015-01-29
* Tweak the unit test documentation on Visual studio.Gravatar Dan Liew2015-01-29
* Try to fix the "out-of-the-box" build of Boogie under Visual Studio. It turnsGravatar Dan Liew2015-01-29
* Improve documentation on testing.Gravatar Dan Liew2015-01-29
* Add unit tests to check that ComputeHashCode() and GetHashCode() agreeGravatar Dan Liew2015-01-29
* Add unit tests to check that ComputeHashCode() and GetHashCode() agreeGravatar Dan Liew2015-01-29
* Protect the body of ForAllExpr, ExistsExpr and LambdaExpr when theyGravatar Dan Liew2015-01-29
* Fix ForAllExpr, ExistsExpr and LambdaExpr constructors so it is possibleGravatar Dan Liew2015-01-29
* Protect the NAryExpr.Fun field when the NAryExpr is immutable.Gravatar Dan Liew2015-01-29
* Protect the Expr field of OldExpr if it is immutable. Add unit testGravatar Dan Liew2015-01-29
* Add some unit tests to check the enforcement of Expr immutability.Gravatar Dan Liew2015-01-29
* Add unit test to catch another bug in Boogie where FunctionCall ShallowTypeGravatar Dan Liew2014-11-25
* Added a unit test to catch a bug in Boogie where a NAryExpr.ShallowTypeGravatar Dan Liew2014-11-25
* Change the ToolsVersion attribute of the Project tag in the recentlyGravatar Dan Liew2014-11-19
* Make run-unittests.py executable under Linux/OSX. ThisGravatar Dan Liew2014-11-17
* Introduce unit tests which use NUnit. NUnit is now a dependencyGravatar Dan Liew2014-11-17