Project

General

Profile

« Previous | Next » 

Revision 3769b712

Added by Corentin Lauverjat over 1 year ago

Passage à dune v2

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