gen_stubs_sildex.mli 646 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
(*-----------------------------------------------------------------------
** Copyright (C) - Verimag.
** This file may only be copied under the terms of the GNU Library General
** Public License
**-----------------------------------------------------------------------
**
** File: gen_stubs_sildex.mli
** Author: jahier@imag.fr
**
*)

open Gen_stubs_common

(**
  [Gen_stubs_poc.go mod_name str vi vo] generates a file named [<str>.c.new]
  that interfaces the sut and the oracle with Lurette. [str] ougth to be either
  "lurette__sut" or "lurette__oracle".
*)
val go :
  module_name -> string -> typedef list -> vn_ct list -> vn_ct list -> unit