Disable unicorn project (#1725)

This commit is contained in:
Abhishek Arya 2018-08-31 08:46:08 -07:00 committed by GitHub
parent ad33fea957
commit 6ce8518548
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions

View File

@ -6,3 +6,6 @@ sanitizers:
- address - address
- memory - memory
- undefined - undefined
# FIXME: Remove after unicorn-engine/unicorn#1007 is checked in.
disabled: true