lustrec/src/verifierList.ml @ ca7ff3f7
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 |
* ] *)
|