diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-17 14:34:40 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-17 14:34:40 +0200 |
| commit | d57e3491720e912b4e2fd6c73f9d356901a42df5 (patch) | |
| tree | bc0feb8577b162e3e735fa57c7b4b0d82be808ce /interpret/interpret.ml | |
| parent | 860ad2752ef0544bc6874d895875a78f91db9084 (diff) | |
| download | scade-analyzer-d57e3491720e912b4e2fd6c73f9d356901a42df5.tar.gz scade-analyzer-d57e3491720e912b4e2fd6c73f9d356901a42df5.zip | |
Write transformation of program into logical formula.
Diffstat (limited to 'interpret/interpret.ml')
| -rw-r--r-- | interpret/interpret.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/interpret/interpret.ml b/interpret/interpret.ml index 063dad0..24903f1 100644 --- a/interpret/interpret.ml +++ b/interpret/interpret.ml @@ -451,5 +451,7 @@ module I : INTERPRET = struct do_weak_transitions env st.root_scope; extract_st env, out + let consts p root = + (init_state p root).save end |