Project

General

Profile

« Previous | Next » 

Revision c02d255e

Added by Pierre-Loïc Garoche almost 9 years ago

Solved some bugs in the lustre printer
Generation of a witness with both the main node and hte inlined main node
Test script modified to check consistency of the inlining process

View differences:

src/utils.ml
44 44 

  		




  45
  45
  
    
module ISet = Set.Make(IdentModule)


  		




  46
  46
  
    

  		




  
  47
  
    
let desome x = match x with Some x -> x | None -> failwith "desome"


  		




  
  48
  
    

  		




  47
  49
  
    
let option_map f o =


  		




  48
  50
  
    
  match o with


  		




  49
  51
  
    
  | None   -> None


  		












Also available in:  Unified diff