/src/verifierList.ml - Annotate - LustreC

| Branch: | Tag: | Revision:

lustrec/src/verifierList.ml @ a91680fc

-ae9fd
+let registered : (module VerifierType.S) list ref = ref []
 let verifiers () = !registered
   (* [
    *   @LUSTREV_SEAL@
    *   @LUSTREV_ZUSTRE@
    *   @LUSTREV_TINY@
    * ] *)