From 4bfcba90db2a4cdb809e576e716f95c993865473 Mon Sep 17 00:00:00 2001 From: Victor Bandur Date: Fri, 29 Apr 2016 16:31:35 +0200 Subject: [PATCH] Three-valued test for disjunction. modified: c-examples/tests/ExpressionsBoolean_Tests.cpp --- c-examples/tests/ExpressionsBoolean_Tests.cpp | 24 +++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/c-examples/tests/ExpressionsBoolean_Tests.cpp b/c-examples/tests/ExpressionsBoolean_Tests.cpp index 5c6d6438..96451288 100644 --- a/c-examples/tests/ExpressionsBoolean_Tests.cpp +++ b/c-examples/tests/ExpressionsBoolean_Tests.cpp @@ -97,6 +97,30 @@ TEST(Expression_Boolean, orExp) EXPECT_EQ (true,res->value.boolVal); vdmFree(res); + vdmFree(t); + t = NULL; + res = vdmOr(t, t1); + EXPECT_EQ(NULL, res); + vdmFree(res); + + vdmFree(t1); + t = newBool(false); + t1 = NULL; + res = vdmOr(t, t1); + EXPECT_EQ(NULL, res); + vdmFree(res); + + t1 = newBool(true); + res = vdmOr(t, t1); + EXPECT_EQ(true, res->value.boolVal); + vdmFree(res); + + vdmFree(t); + t = NULL; + res = vdmOr(t1, t); + EXPECT_EQ(true, res->value.boolVal); + + vdmFree(res); vdmFree(t); vdmFree(t1); }