Project

General

Profile

« Previous | Next » 

Revision 4300981b

Added by Pierre-Loïc Garoche over 3 years ago

Zustre: timeout and slicing

View differences:

src/tools/zustre/zustre_data.ml
9 9

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

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

  
13 15
(* Local Variables: *)
14 16
(* compile-command:"make -C ../.." *)

Also available in: Unified diff