Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
OpenGEODE
Commits
97d1fd03
Commit
97d1fd03
authored
Apr 16, 2021
by
Maxime Perrotin
Browse files
Add missing file for test
parent
59715594
Changes
1
Hide whitespace changes
Inline
Side-by-side
tests/testsuite/test-via/test_ada.c
0 → 100644
View file @
97d1fd03
#include
<math.h>
#include
<stdio.h>
/* Ada code external interface */
extern
void
challenge_PI_run
();
extern
void
challenge_PI_any_one
();
extern
int
adainit
();
//extern long long l_result;
/* Provide code called by the Ada state machine as external procedure */
void
challenge_RI_pow
(
long
long
*
a
,
long
long
*
b
,
long
long
*
res
)
{
*
res
=
(
long
long
)
pow
((
double
)
*
a
,
(
double
)
*
b
);
}
int
main
()
{
adainit
();
challenge_PI_run
();
challenge_PI_run
();
//printf("Internal state: %lld\n", l_result);
challenge_PI_any_one
();
challenge_PI_run
();
return
0
;
}
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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