Skip to content

add compilation / link flags for libubsan#512

Merged
kroening merged 1 commit intodiffblue:masterfrom
mgudemann:ub_sanitizer_travis
Feb 8, 2017
Merged

add compilation / link flags for libubsan#512
kroening merged 1 commit intodiffblue:masterfrom
mgudemann:ub_sanitizer_travis

Commits

Commits on Feb 8, 2017