Project

General

Profile

Download (83 Bytes) Statistics
| Branch: | Tag: | Revision:

lustrec/src/verifierList.ml.in @ 325f07c0

1 
let verifiers =
2 
  [
3 
    @LUSTREV_SEAL@
4 
    @LUSTREV_ZUSTRE@
5 
    @LUSTREV_TINY@
6 
  ]
(63-63/66)