From 2be4e287b907f7d77e54b0e50f50353704c92102 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gwena=EBl=20Delaval?= Date: Mon, 28 Jan 2013 15:54:27 +0100 Subject: [PATCH] Take into account the -nosink option in Sigali Corrected bug: do not suppress the last state variable when -nosink is on. --- compiler/minils/sigali/sigali.ml | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/compiler/minils/sigali/sigali.ml b/compiler/minils/sigali/sigali.ml index b4cc3d7..3143af7 100644 --- a/compiler/minils/sigali/sigali.ml +++ b/compiler/minils/sigali/sigali.ml @@ -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