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
b17acc2e
Commit
b17acc2e
authored
Apr 17, 2018
by
Cyril SIX
Browse files
MPPA - Forgot to uncomment debugging section of prng test
parent
3997c0bc
Changes
1
Hide whitespace changes
Inline
Side-by-side
test/mppa/lib/prng.c
View file @
b17acc2e
...
...
@@ -9,13 +9,11 @@
static
uint64_t
current
;
void
srand
(
uint64_t
seed
){
//seed = current;
current
=
100
;
seed
=
current
;
}
uint64_t
randlong
(
void
){
//return (current = MULTIPLIER * current + INCREMENT);
return
current
--
;
return
(
current
=
MULTIPLIER
*
current
+
INCREMENT
);
}
#ifdef __UNIT_TEST_PRNG__
...
...
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