Commit fe8c0751 authored by Julien Signoles's avatar Julien Signoles
Browse files

[e-acsl:archi] add doc for Injector

parent f633795e
......@@ -20,10 +20,14 @@
(* *)
(**************************************************************************)
(** The E-ACSL main instrumentation step. *)
val inject: unit -> unit
(** Inject all the necessary pieces of code for monitoring the program
annotations. *)
(*
Local Variables:
compile-command: "make -C ../.."
compile-command: "make -C ../../../../.."
End:
*)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment