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
pub
frama-c
Commits
a1210628
Commit
a1210628
authored
Oct 09, 2020
by
Andre Maroneze
💬
Browse files
[kernel] add non-regression test for const local inits
parent
084a6d88
Changes
2
Hide whitespace changes
Inline
Side-by-side
tests/syntax/local-init-const.i
0 → 100644
View file @
a1210628
/*run.config
OPT: -no-autoload-plugins -load-module eva,scope -eva -eva-verbose 0
*/
unsigned
id
(
unsigned
x
)
{
return
x
;
}
void
main
()
{
unsigned
const
r
=
id
(
1
>
2
?
1
:
2
)
;
//@ assert written_r: r == 2;
}
tests/syntax/oracle/local-init-const.res.oracle
0 → 100644
View file @
a1210628
[kernel] Parsing tests/syntax/local-init-const.i (no preprocessing)
Write
Preview
Markdown
is supported
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