Project

General

Profile

Revision 3769b712 src/verifierList.ml.in

View differences:

src/verifierList.ml.in
1
let verifiers =
2
  [
3
    @LUSTREV_SEAL@
4
    @LUSTREV_ZUSTRE@
5
    @LUSTREV_TINY@
6
  ]
1
let verifiers = [
2
  @LUSTREV_SEAL@
3
  @LUSTREV_ZUSTRE@
4
  @LUSTREV_TINY@
5
]

Also available in: Unified diff