Source file `parsers_loader.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
(******************************************************************************)
(*                                                                            *)
(*     Alt-Ergo: The SMT Solver For Software Verification                     *)
(*     Copyright (C) 2013-2018 --- OCamlPro SAS                               *)
(*                                                                            *)
(*     This file is distributed under the terms of the Apache Software        *)
(*     License version 2.0                                                    *)
(*                                                                            *)
(******************************************************************************)

open AltErgoLib
open Options

let load () =
  List.iter
    (fun p ->
       MyDynlink.load (get_verbose ()) p "parser"
    )(Options.get_parsers())