[Jenkins]Jenkins

SuccessChanges

Summary

  1. Renamed IO library so that there are no name clashes when the VDM IO (commit: 2659022) (details)
Commit 2659022a6f67156025dee2c58831baa9cc287a39 by Victor Bandur
Renamed IO library so that there are no name clashes when the VDM IO
library gets generated.
	renamed:    c-examples/lib/IO.c -> c-examples/lib/IOLib.c
renamed:    c-examples/lib/IO.h -> c-examples/lib/IOLib.h
modified:   c-examples/lib/Vdm.h
modified:   c-examples/tests/ClassIO_Tests.cpp
 (commit: 2659022)
The file was addedc-examples/lib/IOLib.h
The file was removedc-examples/lib/IO.h
The file was addedc-examples/lib/IOLib.c
The file was modifiedc-examples/lib/Vdm.h (diff)
The file was modifiedc-examples/tests/ClassIO_Tests.cpp (diff)
The file was removedc-examples/lib/IO.c