diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-08-18 10:20:48 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-08-18 10:20:48 +0200 |
| commit | f7eb38c1801fca41ddf26a17737ca28b2927cf8d (patch) | |
| tree | 69f88d8927859a5501e0145dd4b49a7b3a6c2668 /scripts/initialize.py | |
| parent | e40931701531ac3737853217e6c87d975d0ab713 (diff) | |
| download | linux-conf-perf-f7eb38c1801fca41ddf26a17737ca28b2927cf8d.tar.gz linux-conf-perf-f7eb38c1801fca41ddf26a17737ca28b2927cf8d.tar.bz2 linux-conf-perf-f7eb38c1801fca41ddf26a17737ca28b2927cf8d.zip | |
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.
Diffstat (limited to 'scripts/initialize.py')
0 files changed, 0 insertions, 0 deletions