Skip to content
Jenkins
log in
Jenkins
vdm2c
vdm2c-vdmlib
#293
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
Polling Log
Git Build Data
Embeddable Build Status
Previous Build
Next Build
Changes
Summary
- Fixed memory leak in sets. - Addresses #89. (
commit: 0d35a8e
) (
details
)
Commit
0d35a8e5c697295938b688ad52f743d4e14a08e5
by
Victor Bandur
- Fixed memory leak in sets. - Addresses #89.
(
commit: 0d35a8e
)
c/vdmclib/src/main/VdmSet.c
(diff)