7 commits

Author	SHA1	Message	Date
Dan Liew	e51ce8bcaf	[TravisCI] Try again to not show suppressions by default	2017-10-16 08:56:17 +01:00
Dan Liew	ad2a0a0085	[TravisCI] Don't print sanitizer suppressions by default because ... that breaks Z3's regression tests.	2017-10-16 08:56:17 +01:00
Dan Liew	db7b2e989d	[TravisCI] Try to run the Python and .NET examples under ASan.	2017-10-16 08:56:17 +01:00
Dan Liew	ff5df20deb	[LSan] Don't run c_maxsat_example with LeakSanitizer because ... it contains leaks that the Z3 developers don't intend to fix.	2017-10-16 08:56:17 +01:00
Dan Liew	5bcdea1ae5	[TravisCI] For ASan/LSan use larger context so we get larger stack ... traces if needed.	2017-10-16 08:56:17 +01:00
Dan Liew	4db5980a23	[TravisCI] Fix getting proper stack traces for ASan/LSan. The ... `llvm-symbolizer` tool needs to be installed and ASan/LSan needs to be told where to find it.	2017-10-16 08:56:17 +01:00
Dan Liew	64ee9f168d	[TravisCI] Add ASan/LSan/UBSan suppression files and use them in ... CI.	2017-10-16 08:56:17 +01:00