Commit 4507fe59 authored by Julien Balette-Pape's avatar Julien Balette-Pape

Change CmakeLists.txt

parent a04ef693
......@@ -16,6 +16,8 @@ set(SOURCES "src/lrusecurity.cpp"
"src/Prev_Under/lrusecurity_ExistHitPrevUDomain.cpp"
"src/Prev_Under/lrusecurity_ExistHitPrevUAdapter.cpp"
"src/lrusecurity_Displayer.cpp"
"src/Graphic/InstMatching.cpp" # Modification for Dot
"src/Graphic/DotModificator.cpp"
)
# script
......
......@@ -40,8 +40,8 @@ void DotModificator::modify(otawa::CFG *cfg, const otawa::icache::Access *access
} else { // Debut du CFG
flux << "Unsafe_" << _count << "[label=\"{UNSAFE at the ENTRY|Can lead to a hit @"
<< addr <<"}\", color = red];" << io::endl;
flux << "{rank = same; Unsafe_" << _count << "; "
<< cfg->name() << "_0_0";
/* flux << "{rank = same; Unsafe_" << _count << "; "
<< cfg->name() << "_0_0}"; */
}
// On incrémente le compteur
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment