summaryrefslogtreecommitdiff
path: root/Source/UnitTests
Commit message (Expand)AuthorAge
* Merging complete. Everything looks good *crosses fingers*Gravatar Checkmate502016-06-06
* renamed fp32 to BigFloatGravatar Dietrich2015-04-20
* adding references to the floating point type wherever references to the real ...Gravatar Dietrich2015-04-17
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-03 02:00:42 +0000