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
CertiCompil
CompCert-KVX
Commits
bc4a980b
Commit
bc4a980b
authored
Mar 10, 2021
by
Léo Gourdin
Browse files
fp test
parent
d1d64938
Changes
1
Hide whitespace changes
Inline
Side-by-side
test/gourdinl/fp_init.c
0 → 100644
View file @
bc4a980b
int
main
(
float
*
x
)
{
double
a
=
1
.
0
;
float
b
=
1
.
0
f
;
printf
(
"%f"
,
a
);
*
x
=
b
;
return
b
;
}
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