andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

BUGFIX: Graph output correct removal of function applications.

Browse Source 
The graph output edge remover was incorrect, and would also
remove applications that were not completely triggered by M_0 alone.
This commit is contained in:
Cas Cremers 2008-08-26 13:22:55 +02:00
parent 77cc97c03b
commit 6ffdda4a3c
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/dotout.c
View File

@ -690,6 +690,8 @@ isApplicationM0 (const System sys, const int run)
if (sys->runs[run].length > 1)
{
if (isApplication (sys, run))
{
if (isEnabledM0 (sys, run, 0))
{
if (isEnabledM0 (sys, run, 1))
{
@ -697,6 +699,7 @@ isApplicationM0 (const System sys, const int run)
}
}
}
}
return false;
}