aboutsummaryrefslogtreecommitdiff
path: root/linux
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-08-18 10:20:48 +0200
committerKarel Kočí <cynerd@email.cz>2015-08-18 10:20:48 +0200
commitf7eb38c1801fca41ddf26a17737ca28b2927cf8d (patch)
tree69f88d8927859a5501e0145dd4b49a7b3a6c2668 /linux
parente40931701531ac3737853217e6c87d975d0ab713 (diff)
downloadlinux-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 'linux')
0 files changed, 0 insertions, 0 deletions