]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
projects / linux-conf-perf.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0688647) | patch
Fix random configuration generator
authorKarel Kočí <cynerd@email.cz>
Wed, 26 Aug 2015 09:15:50 +0000 (11:15 +0200)
committerKarel Kočí <cynerd@email.cz>
Wed, 26 Aug 2015 09:32:06 +0000 (11:32 +0200)
commit8b0ebe5a478fae92a49f12b5ac6090ba9d15bcbb
tree3a5824e80e15909c50f842bded5f29cb037e1afctree | snapshot
parent0688647f2f69d1bee1ecc76338190e6a12209da5commit | diff
Fix random configuration generator

Picosat is as default using 0 as seed for random generator. This lead
on same configuration every time.
scripts/configurations.py diff | blob | history
Automated overhead analysis of Linux configuration options