SuccessChanges

Summary

  1. -  Making use of NULL TVPs to emulate optional types. -  Incorporated (commit: e5c51b4) (details)
  2. Three-valued tests for negation and conjunction. (commit: 375b27a) (details)
  3. Three-valued test for disjunction. (commit: 4bfcba9) (details)
  4. -  Remaining tests for three-valued logical operators. -  No tests yet (commit: 1ee90ea) (details)
Commit e5c51b44de207dec6426401799adfa4d62373ec9 by Victor Bandur
-  Making use of NULL TVPs to emulate optional types. -  Incorporated
this for boolean operators. -  Tests for third value not implemented.
modified:   c-examples/lib/VdmBasicTypes.c
(commit: e5c51b4)
The file was modifiedc-examples/lib/VdmBasicTypes.c (diff)
Commit 375b27afd2a8b6e62280e4002cf8ec1888b36155 by Victor Bandur
Three-valued tests for negation and conjunction.
modified:   c-examples/tests/ExpressionsBoolean_Tests.cpp
(commit: 375b27a)
The file was modifiedc-examples/tests/ExpressionsBoolean_Tests.cpp (diff)
Commit 4bfcba90db2a4cdb809e576e716f95c993865473 by Victor Bandur
Three-valued test for disjunction.
modified:   c-examples/tests/ExpressionsBoolean_Tests.cpp
(commit: 4bfcba9)
The file was modifiedc-examples/tests/ExpressionsBoolean_Tests.cpp (diff)
Commit 1ee90ea5102340bc4bc364e20d6bb52dbabef357 by Victor Bandur
-  Remaining tests for three-valued logical operators. -  No tests yet
for boolean equality.
modified:   c-examples/tests/ExpressionsBoolean_Tests.cpp
(commit: 1ee90ea)
The file was modifiedc-examples/tests/ExpressionsBoolean_Tests.cpp (diff)