diff options
Diffstat (limited to 'abstract/abs_interp.ml')
| -rw-r--r-- | abstract/abs_interp.ml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/abstract/abs_interp.ml b/abstract/abs_interp.ml new file mode 100644 index 0000000..403e3e8 --- /dev/null +++ b/abstract/abs_interp.ml @@ -0,0 +1,14 @@ +open Ast +open Formula + +open Util +open Environment_domain + +module I (E : ENVIRONMENT_DOMAIN) : sig + + val init_state : prog -> id -> E.t + val do_step : prog -> id -> E.t -> E.t + +end = struct + +end |