Project

General

Profile

Download (285 Bytes) Statistics
| Branch: | Tag: | Revision:
1 ad4774b0 ploc
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