From 51643ec6d7309f7eba2991948516f129c3a55fc4 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sat, 1 Apr 2023 19:45:46 +0200 Subject: [PATCH] Option model-checking OFF by default --- tools/cmake/Option.cmake | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/cmake/Option.cmake b/tools/cmake/Option.cmake index 19e3248d71..c4faa2f564 100644 --- a/tools/cmake/Option.cmake +++ b/tools/cmake/Option.cmake @@ -38,7 +38,7 @@ endif() option(minimal-bindings "Whether to compile the Python bindings libraries with the minimal dependency set" off) mark_as_advanced(minimal-bindings) -option(enable_model-checking "Turn this on to experiment with our prototype of model-checker" on) +option(enable_model-checking "Turn this on to experiment with our prototype of model-checker" off) option(enable-model-checking "Please set 'enable_model-checking' instead" off) mark_as_advanced(enable-model-checking) if(enable-model-checking) -- 2.20.1