Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 8 months ago

reformatting

View differences:

src/verifierList.ml
1 1
let registered : (module VerifierType.S) list ref = ref []
2 2

  
3 3
let verifiers () = !registered
4
  (* [
5
   *   @LUSTREV_SEAL@
6
   *   @LUSTREV_ZUSTRE@
7
   *   @LUSTREV_TINY@
8
   * ] *)
4
(* [
5
 *   @LUSTREV_SEAL@
6
 *   @LUSTREV_ZUSTRE@
7
 *   @LUSTREV_TINY@
8
 * ] *)

Also available in: Unified diff