jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Compiler option -nocaus

Browse source 
Added a compiler option de-activating causality analysis
This commit is contained in:
Gwenal Delaval 2010-12-08 17:31:16 +01:00
parent 4d5cc091d7
commit b7cba3315a
3 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compiler/heptagon/main/hept_compiler.ml
View file

@ -42,7 +42,7 @@ let compile_impl pp p =
if !print_types then print_interface Format.std_formatter;
(* Causality check *)
let p = silent_pass "Causality check" true Causality.program p in
let p = silent_pass "Causality check" !causality Causality.program p in
(* Initialization check *)
let p = silent_pass "Initialization check" !init Initialization.program p in

1
compiler/main/heptc.ml
View file

@ -90,6 +90,7 @@ let main () =
"-nopervasives", Arg.Unit set_no_pervasives, doc_no_pervasives;
"-target", Arg.String add_target_language, doc_target;
"-targetpath", Arg.String set_target_path, doc_target_path;
"-nocaus", Arg.Clear causality, doc_nocaus;
"-noinit", Arg.Clear init, doc_noinit;
"-fti", Arg.Set full_type_info, doc_full_type_info;
"-itfusion", Arg.Set do_iterator_fusion, doc_itfusion;

2
compiler/utilities/global/compiler_options.ml
View file

@ -75,6 +75,7 @@ let set_target_path path =
let full_type_info = ref false
let causality = ref true
let init = ref true
let inline : qualname list ref = ref []
@ -111,6 +112,7 @@ and doc_full_type_info = "\t\t\tPrint full type information"
and doc_target_path =
"<path>\tGenerated files will be placed in <path>\n\t\t\t(the directory is"
^ " cleaned)"
and doc_nocaus = "\t\tDisable causality analysis"
and doc_noinit = "\t\tDisable initialization analysis"
and doc_assert = "<node>\t\tInsert run-time assertions for boolean node <node>"
and doc_inline = "<node>\t\tInline node <node>"