Project

General

Profile

Revision 3769b712 src/verifiers.ml

View differences:

src/verifiers.ml
1
open Lustre_types
1
open Lustrec.Lustre_types
2 2

  
3 3
open VerifierList
4 4

  
......
6 6
           
7 7
let options () = 
8 8
  List.flatten (
9
    List.map Options_management.verifier_opt (
9
    List.map Lustrec.Options_management.verifier_opt (
10 10
      List.map (fun m ->
11
	let module M = (val m : VerifierType.S) in
11
	let module M = (val m : Lustrec.VerifierType.S) in
12 12
	(M.name, M.activate, M.options)
13 13
      ) verifiers
14 14
    ))
15 15
  
16 16
let verifier_list verifiers =
17 17
  List.fold_left (fun acc m ->
18
      let module M =  (val m : VerifierType.S) in
18
      let module M =  (val m : Lustrec.VerifierType.S) in
19 19
      (if acc = "" then "" else acc ^ ", ") ^ M.name
20 20
    ) "" verifiers
21 21
  
......
26 26
       (* check that a single one is active and register it *)
27 27
       let found =
28 28
         List.fold_left (fun found m ->
29
             let module M =  (val m : VerifierType.S) in
29
             let module M =  (val m : Lustrec.VerifierType.S) in
30 30
             if M.is_active () then
31 31
               m::found
32 32
             else

Also available in: Unified diff