Comment 6 for bug 1362830

Krunal Bauskar (krunal-bauskar) wrote :

So as pointed before the issue was with duplicate values.
We have resolved this by fixing the parse_cnf function. parse_cnf will now consider the last occurring value if there are multiple values.