Project

General

Profile

Download (607 Bytes) Statistics
| Branch: | Tag: | Revision:
1
let ctx = ref (Z3.mk_context [])
2
let fp = ref (Z3.Fixedpoint.mk_fixedpoint !ctx)
3

    
4

    
5
let const_sorts : (Lustrec.Lustre_types.ident, Z3.Sort.sort) Hashtbl.t = Hashtbl.create 13
6
let const_tags : (Lustrec.Lustre_types.ident, Z3.Sort.sort) Hashtbl.t = Hashtbl.create 13
7
let sort_elems : (Z3.Sort.sort, Lustrec.Lustre_types.ident list) Hashtbl.t = Hashtbl.create 13
8

    
9

    
10
let decls: (Lustrec.Lustre_types.ident, Z3.FuncDecl.func_decl) Hashtbl.t = Hashtbl.create 13
11

    
12
let debug = ref false
13
let timeout = ref 10000 (* default : 10 s = 10 000 ms *)
14

    
15
(* Local Variables: *)
16
(* compile-command:"make -C ../.." *)
17
(* End: *)
(5-5/7)