From 7ca2737b9bd21cb7e719af0de15328b699b526fd Mon Sep 17 00:00:00 2001
From: Satoshi Ikari <ikari@space.t.u-tokyo.ac.jp>
Date: Tue, 27 Dec 2022 11:01:16 +0100
Subject: [PATCH] Revert default test setting

---
 s2e-ff/CMakeLists.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/s2e-ff/CMakeLists.txt b/s2e-ff/CMakeLists.txt
index 8c702a01..105bb5a7 100644
--- a/s2e-ff/CMakeLists.txt
+++ b/s2e-ff/CMakeLists.txt
@@ -9,8 +9,8 @@ project(S2E_FF
 cmake_minimum_required(VERSION 3.13)
 
 # build config
-option(BUILD_64BIT "Build 64bit" ON)
-option(GOOGLE_TEST "Execute GoogleTest" ON)
+option(BUILD_64BIT "Build 64bit" OFF)
+option(GOOGLE_TEST "Execute GoogleTest" OFF)
 if (NOT BUILD_64BIT)
   option(GOOGLE_TEST OFF) # GoogleTest supports 64bit only
 endif()