Merge branch 'fix/virgile/goto-from-exn-bypass-init' into 'master'
fixes generation of destructors calls in presence of goto Closes #663 and #501 See merge request frama-c/frama-c!2296
No related branches found
No related tags found
Showing
No files found.
Please register or sign in to comment