Project

General

Profile

« Previous | Next » 

Revision 73a4995a

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

seal: now deals with enum

View differences:

src/tools/zustre/zustre_common.ml
52 52 
let real_sort = Z3.Arithmetic.Real.mk_sort !ctx
53 53 

  		




  54
  54
  
    

  		




  55
  
  
    
let get_const_sort = Hashtbl.find const_sorts 


  		




  
  55
  
    
let get_const_sort = Hashtbl.find const_sorts  


  		




  56
  56
  
    
let get_sort_elems = Hashtbl.find sort_elems


  		




  57
  57
  
    
let get_tag_sort id = try Hashtbl.find const_tags id with _ -> Format.eprintf "Unable to find sort for tag=%s@." id; assert false


  		




  58
  58
  
    
  


  		












Also available in:  Unified diff