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
OTAWA-plugins
Polymalys
Commits
80937cb0
Commit
80937cb0
authored
May 28, 2020
by
Ballabriga Clément
Browse files
supprime les tests qui ne marchent pas avec la version HEAD d'otawa
parent
24fb1deb
Changes
2
Hide whitespace changes
Inline
Side-by-side
tests/poly.cpp
View file @
80937cb0
...
...
@@ -20,6 +20,7 @@ int main(int argc, char **argv) {
otawa
::
Manager
manager
;
PropList
props
;
VERBOSE
(
props
)
=
true
;
NO_SYSTEM
(
props
)
=
true
;
//No operating system (standalone program)
otawa
::
Processor
::
VERBOSE
(
props
)
=
true
;
//Verbose display
TASK_ENTRY
(
props
)
=
"main"
;
//Target program entry point
...
...
tests/tests.txt
View file @
80937cb0
simple1
chaine1
chaine2
relation1
relation2
relation3
relation4
imbrique1
bouclecond1
boucleet1
boucleou1
break1
break2
fonction1
fonction2
ptr1
ptr2
ptr3
global1
global2
global3
global4
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