diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-08 16:01:36 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-08 16:01:36 +0200 |
| commit | d6db8e934346d3a4ff2bb1470a9512462419bf03 (patch) | |
| tree | a83fdfbc86c25017ee528eb7d369b33869ea4a92 /main.ml | |
| parent | 5f6cec8c00b9359bc722454e8bed78bee6bb79a1 (diff) | |
| download | scade-analyzer-d6db8e934346d3a4ff2bb1470a9512462419bf03.tar.gz scade-analyzer-d6db8e934346d3a4ff2bb1470a9512462419bf03.zip | |
Add ternaries, simplifications. BIG BUG FOUND (init/reset translation)
Diffstat (limited to 'main.ml')
| -rw-r--r-- | main.ml | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -30,8 +30,8 @@ let ai_itv_edd = ref false let ai_rel_edd = ref false let ai_root = ref "test" let ai_widen_delay = ref 5 -let ai_no_time_scopes = ref "" -let ai_init_scopes = ref "" +let ai_no_time_scopes = ref "all" +let ai_init_scopes = ref "all" let ai_disj_v = ref "" let ai_vci = ref false let ai_vvci = ref false |