diff options
Diffstat (limited to 'contrib/funind/indfun_common.ml')
| -rw-r--r-- | contrib/funind/indfun_common.ml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/contrib/funind/indfun_common.ml b/contrib/funind/indfun_common.ml index a3c169b7ec..4892128a06 100644 --- a/contrib/funind/indfun_common.ml +++ b/contrib/funind/indfun_common.ml @@ -508,5 +508,19 @@ let do_observe () = +let strict_tcc = ref false +let is_strict_tcc () = !strict_tcc +let strict_tcc_sig = + { + optsync = false; + optname = "Raw Function Tcc"; + optkey = PrimaryTable("Function_raw_tcc"); + optread = (fun () -> !strict_tcc); + optwrite = (fun b -> strict_tcc := b) + } + +let _ = declare_bool_option strict_tcc_sig + + exception Building_graph of exn exception Defining_principle of exn |