diff options
author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-17 15:31:47 +0200 |
---|---|---|
committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-17 15:31:47 +0200 |
commit | ce4f339ced19e2ff7d79c2c8ec5b3ee478d5d365 (patch) | |
tree | ea18aa2b09601987bf3f2978c4986679b80e47a7 /main.ml | |
parent | d57e3491720e912b4e2fd6c73f9d356901a42df5 (diff) | |
download | scade-analyzer-ce4f339ced19e2ff7d79c2c8ec5b3ee478d5d365.tar.gz scade-analyzer-ce4f339ced19e2ff7d79c2c8ec5b3ee478d5d365.zip |
Add bindings to apron. Next : work on abstract interpret.
Diffstat (limited to 'main.ml')
-rw-r--r-- | main.ml | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -2,6 +2,8 @@ open Ast module Interpret = Interpret.I +module Abstract = Apron_domain.D + (* command line options *) let dump = ref false let dumprn = ref false |