From 15c7abcf41f3ad19ef0870422c8d7cec505abe0f Mon Sep 17 00:00:00 2001
From: Yuxuan Shui <yshuiv7@gmail.com>
Date: Fri, 29 Mar 2019 21:52:15 +0000
Subject: [PATCH] Make ubsan stricter

Signed-off-by: Yuxuan Shui <yshuiv7@gmail.com>
---
 .circleci/config.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 1c859f7..dcd8f58 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -3,6 +3,8 @@ executors:
     docker:
       - image: yshui/comptonci
     working_directory: "/tmp/workspace"
+    environment:
+      UBSAN_OPTIONS: "halt_on_error=1"
 
 version: 2.1
 commands: