Skip to content
GitLab
Explore
Sign in
Gaudi
Gaudi
Merge requests
!347
Coverity issues of type "resource leak".
Code
Review changes
Check out branch
Download
Patches
Plain diff
Alessio Gianelle
requested to merge
gianelle/Gaudi:resource_leak
into
master
May 30, 2017
Overview
10
Commits
1
Pipelines
1
Changes
3
Expand
Fix some possible resource leak pointed by the "coverity" report CID: 64363, 64330, 64251
Merge request reports