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

Take into account the -nosink option in Sigali

Browse source 
Corrected bug: do not suppress the last state
variable when -nosink is on.
This commit is contained in:
Gwenal Delaval 2013-01-28 15:54:27 +01:00
parent 165ff8d7fa
commit 2be4e287b9
1 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
compiler/minils/sigali/sigali.ml
View file

@ -432,8 +432,13 @@ module Printer =
fprintf ff "%s_triang : Triang(constraint(%s),controllables,phantom_vars);@,"
name name;
(* Suppress sink state as controller input *)
let states = List.rev (List.tl (List.rev states)) in
let states =
match !Compiler_options.nosink with
true -> states
| false ->
(* Suppress sink state as controller input *)
List.rev (List.tl (List.rev states)) in
(* controller vars *)
fprintf ff "controller_inputs : [@[";
print_list ff print_name "," (uncont_inputs