Changes
Summary
- - Pretty printing support for products (tuples). - Addresses #88. (commit: 2e4c9a8) (details)
![]() | c/vdmclib/src/main/PrettyPrint.c (diff) |
![]() | c/vdmclib/src/test/ClassIO_Tests.cpp (diff) |
![]() | c/vdmclib/src/main/IOLib.c (diff) |
![]() | c/vdmclib/src/main/PrettyPrint.h (diff) |