SuccessChanges

Summary

  1. Removed unused function vdmNotEqual from runtime library. (commit: ede5cb0) (details)
Commit ede5cb06d321859c30870b166137025afb263c65 by Victor Bandur
Removed unused function vdmNotEqual from runtime library.
(commit: ede5cb0)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.c (diff)
The file was modifiedc/vdmclib/src/test/ExpressionsNumeric_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)