blob: b4c2279b6b8847f23d243fda65773d5ae01ea3ac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
PRNG
====
This is a simple Pseudo Random Number Generator.
`prng.c` contains a simple unitary test that compares the sum of the "bytewise sum"
of 1000 generated numbers to a hardcoded result, that is the one obtained with
`gcc -O2` on a x86 processor, and returns 0 if the result is correct.
The following commands can be run inside that folder:
- `make`: produces the unitary test binaries
- `prng-test-gcc-x86` : binary from gcc on x86
- `prng-test-k1c-x86` : binary from gcc on k1c
- `prng-test-ccomp-x86` : binary from ccomp on k1c
- `make test`: tests the return value of the binaries produced by gcc.
- `make check`: tests the return value of the binary produced by CompCert.
|
