Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / verifierList.ml.in @ f9f06e7d

History | View | Annotate | Download (83 Bytes)

1 ad4774b0 ploc
let verifiers =
2
  [
3
    @LUSTREV_SEAL@
4
    @LUSTREV_ZUSTRE@
5
    @LUSTREV_TINY@
6
  ]