Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / verifierList.ml.in @ 3769b712

History | View | Annotate | Download (72 Bytes)

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