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