Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

gen_stubs_sildex.mli 648 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
(*-----------------------------------------------------------------------
** 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

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