aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/configure
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-08-26 11:15:50 +0200
committerKarel Kočí <cynerd@email.cz>2015-08-26 11:32:06 +0200
commit8b0ebe5a478fae92a49f12b5ac6090ba9d15bcbb (patch)
tree3a5824e80e15909c50f842bded5f29cb037e1afc /scripts/picosat-959/configure
parent0688647f2f69d1bee1ecc76338190e6a12209da5 (diff)
downloadlinux-conf-perf-8b0ebe5a478fae92a49f12b5ac6090ba9d15bcbb.tar.gz
linux-conf-perf-8b0ebe5a478fae92a49f12b5ac6090ba9d15bcbb.tar.bz2
linux-conf-perf-8b0ebe5a478fae92a49f12b5ac6090ba9d15bcbb.zip
Fix random configuration generator
Picosat is as default using 0 as seed for random generator. This lead on same configuration every time.
Diffstat (limited to 'scripts/picosat-959/configure')
0 files changed, 0 insertions, 0 deletions