Skip to content

comment out ubsan flags in travis build#520

Merged
kroening merged 1 commit intodiffblue:masterfrom
mgudemann:temporary_deactivate_ubsan
Feb 9, 2017

Commits

Commits on Feb 9, 2017