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 |
* ] *)
|