Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / tools / seal_verifier.ml @ ad4774b0

History | View | Annotate | Download (285 Bytes)

1
let active = ref false
2

    
3
module Verifier =
4
  (struct
5
    include VerifierType.Default
6
    let name = "seal"
7
    let options = []
8
    let activate () = active := true
9
    let is_active () = !active
10
    let run basename prog machines = ()
11
                    
12
  end: VerifierType.S)
13