diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-11-07 15:10:09 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-11-07 15:28:05 +0100 |
| commit | 9a7e567bf2389de35d470ef8f8d6188b89442081 (patch) | |
| tree | 487cefa39de9bd24ec48291f57335ea4fc63b3ad /src | |
| parent | 2c712d35df5d1514e28b479f960a53b89ce59424 (diff) | |
| download | cuirass-9a7e567bf2389de35d470ef8f8d6188b89442081.tar cuirass-9a7e567bf2389de35d470ef8f8d6188b89442081.tar.gz | |
examples: random: Fail evaluation once in a while.
* examples/random-jobs.scm (make-random-jobs): Fail once in a while.
(%seed, %state): New variables.
(random-derivation): Use %SEED.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions