From 93e732e1eeda7fad6c7d6d5582cb0654ea400785 Mon Sep 17 00:00:00 2001
From: gareuselesinge
Date: Thu, 3 Oct 2013 09:10:52 +0000
Subject: STM: add options to disable fallbacks to ease regression testing

STM falls back to local, lazy, evaluation if the slave dies badly or
if there is a marshalling error.  Both things should never occur, but
is nice to have the system recover if a bug pops up.
Nevertheless during regression testing these fallbacks should be
disabled not to hide a new bug.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16841 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/flags.ml  | 2 ++
 lib/flags.mli | 2 ++
 2 files changed, 4 insertions(+)

(limited to 'lib')

diff --git a/lib/flags.ml b/lib/flags.ml
index ec6469affe..4e3da3d8c7 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -49,6 +49,8 @@ let ide_slave_mode = ref false
 let coq_slave_mode = ref (-1)
 let coq_slaves_number = ref 1
 
+let coq_slave_options = ref None
+
 let debug = ref false
 
 let print_emacs = ref false
diff --git a/lib/flags.mli b/lib/flags.mli
index 5774f3ad41..8525d731b7 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -16,6 +16,8 @@ val ide_slave_mode : bool ref
 val coq_slave_mode : int ref
 val coq_slaves_number : int ref
 
+val coq_slave_options : string option ref
+
 val debug : bool ref
 
 val print_emacs : bool ref
-- 
cgit v1.2.3