Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Valentin Touzeau
lrusecurity
Commits
9b83345d
Commit
9b83345d
authored
Jul 12, 2019
by
Julien Balette-Pape
Browse files
add modification for SecuriyCatBuilder
parent
a5efdc36
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/lrusecurity_SecurityCatBuilder.cpp
View file @
9b83345d
...
...
@@ -27,7 +27,7 @@ protected:
const
otawa
::
icat3
::
LBlockCollection
*
coll
=
icat3
::
LBLOCKS
(
ws
);
ASSERT
(
coll
);
_ways
=
coll
->
A
();
_man
=
new
lrum
c
::
ACSManager
(
ws
);
_man
=
new
lru
preanalysis
::
eh_e
m
::
ACSManager
(
ws
);
}
virtual
void
cleanup
(
WorkSpace
*
)
{
...
...
@@ -78,7 +78,7 @@ protected:
}
int
_ways
;
lrum
c
::
ACSManager
*
_man
;
lru
preanalysis
::
eh_e
m
::
ACSManager
*
_man
;
};
p
::
declare
SecurityCatBuilder
::
reg
=
p
::
init
(
"lrusecurity::SecurityCatBuilder"
,
Version
(
1
,
0
,
0
))
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment