From 6ffdda4a3cad251f7d0ca77beae5f00e30661250 Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Tue, 26 Aug 2008 13:22:55 +0200 Subject: [PATCH] BUGFIX: Graph output correct removal of function applications. The graph output edge remover was incorrect, and would also remove applications that were not completely triggered by M_0 alone. --- src/dotout.c | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/dotout.c b/src/dotout.c index 26b77ff..920d171 100644 --- a/src/dotout.c +++ b/src/dotout.c @@ -691,9 +691,12 @@ isApplicationM0 (const System sys, const int run) { if (isApplication (sys, run)) { - if (isEnabledM0 (sys, run, 1)) + if (isEnabledM0 (sys, run, 0)) { - return true; + if (isEnabledM0 (sys, run, 1)) + { + return true; + } } } }