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