SuccessChanges

Summary

  1. enabled test coverate report for vdmlib (commit: ec9ae4f) (details)
Commit ec9ae4ff16148704dcea24a5afd1c6655ee8f57f by Kenneth Lausdahl
enabled test coverate report for vdmlib
(commit: ec9ae4f)
The file was modifiedc/vdmclib/src/CMakeLists.txt (diff)
The file was modified.gitignore (diff)