]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
projects / linux-conf-perf.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e409317) | patch
Fix bug in wrong input type to CNF file generator
authorKarel Kočí <cynerd@email.cz>
Tue, 18 Aug 2015 08:20:48 +0000 (10:20 +0200)
committerKarel Kočí <cynerd@email.cz>
Tue, 18 Aug 2015 08:20:48 +0000 (10:20 +0200)
commitf7eb38c1801fca41ddf26a17737ca28b2927cf8d
tree69f88d8927859a5501e0145dd4b49a7b3a6c2668tree | snapshot
parente40931701531ac3737853217e6c87d975d0ab713commit | diff
Fix bug in wrong input type to CNF file generator

This caused that instead of multiple numbers was parsed only one number
including every single number character as separated number. Because of
this was generated wrong CNF file and sometimes if zero was in number
picosat failed with error.
scripts/configurations.py diff | blob | history
Automated overhead analysis of Linux configuration options