package psmt2-frontend

  1. Overview
  2. Docs

Source file options.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
let assert_mode = ref false
let quiet = ref false
let verbose = ref 0
let status = ref "undef"
let keep_loc = ref false
let warning_as_error = ref false
let filename = ref ""

let set_assert_mode b = assert_mode := b
let set_verbose n = verbose := n
let set_quiet b = quiet := b
let set_status s = status := s
let set_keep_loc b = keep_loc := b
let set_warning_as_error b = warning_as_error := b
let set_filename f = filename := f

let assert_mode () = !assert_mode
let status () = !status
let quiet () = !quiet
let verbose () = !verbose
let keep_loc () = !keep_loc
let warning_as_error () = !warning_as_error
let filename () = !filename

let logic = ref false
let is_qf = ref false
let is_uf = ref false
let is_fp = ref false
let is_real = ref false
let is_int_real = ref false
let is_dt = ref false
let is_linear = ref false
let is_non_linear = ref false

let set_logic t = logic := t
let set_is_qf t = is_qf := t
let set_is_uf t = is_uf := t
let set_is_fp t = is_fp := t
let set_is_real t = is_real := t
let set_is_int_real t = is_int_real := t
let set_is_dt t = is_dt := t
let set_is_linear t = is_linear := t
let set_is_non_linear t = is_non_linear := t
let get_logic () = !logic
let get_is_qf () = !is_qf
let get_is_uf () = !is_uf
let get_is_fp () = !is_fp
let get_is_real () = !is_real
let get_is_int_real () = !is_int_real
let get_is_dt () = !is_dt
let get_is_linear () = !is_linear
let get_is_non_linear () = !is_non_linear

let err_fmt = ref Format.err_formatter
let get_err_fmt () = !err_fmt
let set_err_fmt f = err_fmt := f

let check_command c =
  if assert_mode () then assert false;
  if not (quiet ()) then
    Printf.eprintf ";[Warning] (%s not yet supported)\n%!" c