comment out ubsan flags in travis build#520

Merged

kroening merged 1 commit intodiffblue:masterfrom mgudemann:temporary_deactivate_ubsan

Feb 9, 2017

+5-3

Commits on Feb 9, 2017

comment out ubsan flags in travis build
Matthias Güdemann
committed