Project

General

Profile

Download (166 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
 * ] *)
(63-63/66)