From d6db8e934346d3a4ff2bb1470a9512462419bf03 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Tue, 8 Jul 2014 16:01:36 +0200
Subject: Add ternaries, simplifications. BIG BUG FOUND (init/reset
 translation)

---
 main.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'main.ml')

diff --git a/main.ml b/main.ml
index d91d139..e114554 100644
--- a/main.ml
+++ b/main.ml
@@ -30,8 +30,8 @@ let ai_itv_edd = ref false
 let ai_rel_edd = ref false
 let ai_root = ref "test"
 let ai_widen_delay = ref 5
-let ai_no_time_scopes = ref ""
-let ai_init_scopes = ref ""
+let ai_no_time_scopes = ref "all"
+let ai_init_scopes = ref "all"
 let ai_disj_v = ref ""
 let ai_vci = ref false
 let ai_vvci = ref false
-- 
cgit v1.2.3