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

(* SPDX-License-Identifier: MIT *)
(* Copyright (C) 2023-2026 formalsec *)
(* Written by the Smtml programmers *)

(* We want these types for settings so that we can derive serializers for yaml/toml as well as cmdliner in the future *)

module Run = struct
  type t =
    { debug : bool
    ; dry : bool
    ; print_statistics : bool
    ; no_strict_status : bool
    ; solver_type : Smtml.Solver_type.t
    ; solver_mode : Smtml.Solver_mode.t
    ; from_file : Fpath.t option
    ; filenames : Fpath.t list [@main]
    }
  [@@deriving make]
end

module To_smt2 = struct
  type t =
    { debug : bool
    ; solver_type : Smtml.Solver_type.t
    ; filename : Fpath.t [@main]
    }
  [@@deriving make]
end