Project

General

Profile

Download (166 Bytes) Statistics
| Branch: | Tag: | Revision:
1 719ae9fd Lélio Brun
let registered : (module VerifierType.S) list ref = ref []
2
3
let verifiers () = !registered
4 ca7ff3f7 Lélio Brun
(* [
5
 *   @LUSTREV_SEAL@
6
 *   @LUSTREV_ZUSTRE@
7
 *   @LUSTREV_TINY@
8
 * ] *)