Project

General

Profile

Download (176 Bytes) Statistics
| Branch: | Tag: | Revision:
1
let registered : (module VerifierType.S) list ref = ref []
2

    
3
let verifiers () = !registered
4
  (* [
5
   *   @LUSTREV_SEAL@
6
   *   @LUSTREV_ZUSTRE@
7
   *   @LUSTREV_TINY@
8
   * ] *)
(61-61/64)