FailedChanges

Summary

  1. Located the source of the failing tests. (commit: ddb5699) (details)
Commit ddb5699239002bb1e2fc2705f8353823b4b15b75 by Victor Bandur
Located the source of the failing tests.
modified:   vdmclib/src/VdmMap.c
modified:   vdmclib/src/tests/ExpressionsMap_Tests.cpp
(commit: ddb5699)
The file was modifiedc/vdmclib/src/VdmMap.c (diff)
The file was modifiedc/vdmclib/src/tests/ExpressionsMap_Tests.cpp (diff)