aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2018-04-17 16:33:11 +0200
committerCyril SIX <cyril.six@kalray.eu>2018-04-17 16:33:11 +0200
commitb17acc2e5f9c31a93164897c64c698fe8e490765 (patch)
treec0a94ce51078fbc581e1302c3100a3ff842b4ee6 /test/mppa
parent3997c0bc61ddbbceefd449a8007e7212add8ac4a (diff)
downloadcompcert-kvx-b17acc2e5f9c31a93164897c64c698fe8e490765.tar.gz
compcert-kvx-b17acc2e5f9c31a93164897c64c698fe8e490765.zip
MPPA - Forgot to uncomment debugging section of prng test
Diffstat (limited to 'test/mppa')
-rw-r--r--test/mppa/lib/prng.c6
1 files changed, 2 insertions, 4 deletions
diff --git a/test/mppa/lib/prng.c b/test/mppa/lib/prng.c
index c902cc3e..dfa97834 100644
--- a/test/mppa/lib/prng.c
+++ b/test/mppa/lib/prng.c
@@ -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__